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 »
Boeken
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... »
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... »
Ideeënbus
