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 ».
Books
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... »
Idea box
