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
Twenty Five Yrs Con Olg 36 C
Martin-Lof type theory is both an important and practical formalization and a focus for a charismatic view of the foundations of mathematics. This volume cel... »
Martin-Lof type theory is both an important and practical formalization and a focus for a charismatic view of the foundations of mathematics. This volume cel... »
Idea box
