Boek
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 een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »
Er zijn nog geen recensies voor dit boek.