Alles van: A.S. Troelstra
Resultaat 1 - 18 (van 18)
A.S. Troelstra Bibliography of natural history travel narratives
Non-fictie
Engels | 481 pagina's | KNNV Publishing, Zeist | 2016
Gedrukt boek
A.S. Troelstra Kolibries in de oren
natuurhistorische reisverhalen 1700-1950
Non-fictie
Nederlands | 654 pagina's | Atlas, Amsterdam [etc.] | 2009
Gedrukt boek
A.S. Troelstra Tijgers op de Ararat
natuurhistorische reisverhalen 1700-1950
Non-fictie
Nederlands | 605 pagina's | Atlas, Amsterdam [etc.] | 2003
Gedrukt boek
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 | H. Schwichtenberg Basic proof theory
Engels | 417 pagina's | Cambridge University Press, Cambridge [etc.] | 2000
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
A.S. Troelstra On the syntax of Martin-Löf's theories
Non-fictie
Engels | 29 pagina's | Universiteit van Amsterdam, Mathematisch Instituut, Amsterdam | 1986
Gedrukt boek
A.S. Troelstra Logic in the writings of Brouwer and Heyting
Engels | 19 pagina's | [Universiteit van Amsterdam], Mathematisch Instituut, Amsterdam | 1983
Gedrukt boek
A.S. Troelstra Intuitionistic general topology
Engels | 113 pagina's | V.R.B, Groningen | 1966
Gedrukt boek