Zoekresultaten
Resultaat 1 - 2 (van 2)
A.S. Troelstra | H. Schwichtenberg Basic proof theory
Engels | 417 pagina's | Cambridge University Press, Cambridge [etc.] | 2000
Gedrukt boek
A.S. Troelstra From constructivism to computer science
Non-fictie
Engels | 25 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1996
Gedrukt boek