Welcome to Boeklezers.nl

Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».

Sign Up

Books

Basic Proof Theory
Basic Proof Theory
Basic Proof Theory »
 
 
 
 
 

Provability, Computability and Reflection
Provability, Computability and Reflection
An Introduction »
 
 
 
 
 

Constructivism In Mathematics
Constructivism In Mathematics
An Introducton »
 
 
 
 
 

Principles of Intuitionism
Principles of Intuitionism
Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY »
 
 
 
 
 

Provability, Computability and Reflection
Provability, Computability and Reflection
An Introduction »
 
 
 
 
 

Van Spitsbergen naar Suriname
Van Spitsbergen naar Suriname
Natuurhistorische reisverhalen - verhalen van reizigers waarin flora, fauna en geologie een voorname rol spelen - waren vooral in de 19de en de eerste helft ... »
 
 
 
 
 

Kolibries in de oren
Kolibries in de oren
Door de eeuwen heen hebben reizende natuurhistorici zich grote inspanningen getroost om onze kennis van flora en fauna uit te breiden; hun reisverslagen vorm... »