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 »
Boeken
Logos and Mathema Studies in the Philosophy of Mathematics and History of Logic »
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... »
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.'); });