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
Intuïtionistische Analyse
De traditionele wiskunde leunt zwaar op zogenaamde "alwetendheidsprincipes", zoals het principe van de uitgesloten derde: A geldt of niet-A geldt, en het bew... »
De traditionele wiskunde leunt zwaar op zogenaamde "alwetendheidsprincipes", zoals het principe van de uitgesloten derde: A geldt of niet-A geldt, en het bew... »
Logic and Structure
This fourth edition contains a new chapter on Gödel's first incompleteness theorem. The chapter is self-contained, it provides a systematic exposition of pr... »
This fourth edition contains a new chapter on Gödel's first incompleteness theorem. The chapter is self-contained, it provides a systematic exposition of pr... »
Idea box
