Book
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 considers the historical and philosophical context of these issues and their philosophical and methodological consequences. «
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 ».
There are no reviews for this book yet.