Zoekresultaten
Resultaat 1 - 11 (van 11)
A.S. Troelstra Concepts and axioms
Non-fictie
Engels | 14 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
A.S. Troelstra Marginalia on sequent calculi
Non-fictie
Engels | 11 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
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
A.S. Troelstra Natural deduction for intuitionistic linear logic
Non-fictie
Engels | 28 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1993
Gedrukt boek
A.S. Troelstra Comparing the theory of representations and constructive mathematics
Non-fictie
Engels | 15 pagina's | Institute for Language, Logic and Information, Amsterdam | 1992
Gedrukt boek
A.S. Troelstra Realizability
Non-fictie
Engels | 60 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1992
Gedrukt boek
A.S. Troelstra History of constructivism in the twentieth century
Non-fictie
Engels | 30 pagina's | Universiteit van Amsterdam, Faculteit der Wiskunde en Informatica, Instituut voor Taal, Logica en Informatie, Amsterdam | 1991
Gedrukt boek
A.S. Troelstra | D. van Dalen Constructivism in mathematics
an introduction
Non-fictie
Engels | North-Holland, Amsterdam [etc.] | 1988
Gedrukt boek
A.S. Troelstra | D. van Dalen Constructivism in mathematics
an introduction
Non-fictie
Engels | North-Holland, Amsterdam [etc.] | 1988
Gedrukt boek
A.S. Troelstra On the early history of intuitionistic logic
Non-fictie
Engels | 20 pagina's | Institute for Language, Logic and Information, Amsterdam | 1988
Gedrukt boek
A.S. Troelstra Remarks on intuitionism and the philosophy of mathematics
Non-fictie
Engels | 16 pagina's | Institute for Language, Logic and Information, Amsterdam | 1988
Gedrukt boek