| Expertise |
Martin-Löf's Constructive Type Theory, moderne geschiedenis van de logica, Bolzano, Frege, Wittgenstein's Tractatus |
| Expertise (EN) |
Martin-Löf's Constructive Type Theory, modern history of logic, Bolzano, Frege, Wittgenstein's Tractatus |
| Digital Author ID |
info:eu-repo/dai/nl/073832286 |