Zoekresultaten
Resultaat 1 - 1 (van 1)
D. Hendriks Metamathematics in Coq
Non-fictie
Engels | 95 pagina's | Zeno, the Leiden-Utrecht Research Institute of Philosophy, Utrecht | 2003
Gedrukt boek
Resultaat 1 - 1 (van 1)
Non-fictie
Engels | 95 pagina's | Zeno, the Leiden-Utrecht Research Institute of Philosophy, Utrecht | 2003
Gedrukt boek