Zoekresultaten
Resultaat 1 - 1 (van 1)
S. Berardi | Marc Bezem | T. Coquand On the computational content of the axiom of choice
Non-fictie
Engels | 22 pagina's | Utrecht Research Institute for Philosophy, Utrecht | 1994
Gedrukt boek
Resultaat 1 - 1 (van 1)
Non-fictie
Engels | 22 pagina's | Utrecht Research Institute for Philosophy, Utrecht | 1994
Gedrukt boek