Welkom op Boeklezers.nl

Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »

Meedoen

Boeken

Recursive Functions and Metamathematics
Recursive Functions and Metamathematics
This text deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. The book also consi... »
 
 
 
 
 

Logos and Mathema
Logos and Mathema
Studies in the Philosophy of Mathematics and History of Logic »
 
 
 
 
 

Philosophie der Mathematik
Philosophie der Mathematik
Philosophie der Mathematik »
 
 
 
 
 

 
domReadyCallbacks.push( function() { new Error('Sorry, dit kan je alleen doen als je ingelogd bent. Als je nog geen lid bent, kun je dat hier worden.'); });