STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
A. S. Troelstra | lit.salon
A. S. Troelstra
No bio available.
Add one in Open Library.
Books by A. S. Troelstra (50 max)
+ shelf
+ list
Basic proof theory
1996
A. S. Troelstra
+ shelf
+ list
Principles of intuitionism.
1969
A. S. Troelstra
+ shelf
+ list
Constructivism in mathematics: an introduction
1988
A. S. Troelstra
+ shelf
+ list
Intuitionistic general topology.
1966
A. S. Troelstra
+ shelf
+ list
Notes on intuitionistic second order arithmetic
1971
A. S. Troelstra
+ shelf
+ list
Computability of terms and notions of realizability for intuitionistic analysis
1971
A. S. Troelstra
+ shelf
+ list
Metamathematical investigation of intuitionistic arithmetic and analysis
1973
A. S. Troelstra
+ shelf
+ list
Mathematical investigation of intuitionistic arithmetic and analysis
1973
A. S. Troelstra
+ shelf
+ list
Axioms for intuitionistic mathematics incompatible with classical logic
1975
A. S. Troelstra
+ shelf
+ list
Choice sequences: a chapter of intuitionistic mathematics
1977
A. S. Troelstra
+ shelf
+ list
L. E. J. Brouwer Centenary Symposium
1982
A. S. Troelstra, D. van Dalen
+ shelf
+ list
Constructivism in Mathematics, Vol 1
1988
A. S. Troelstra, D. van Dalen
+ shelf
+ list
Constructivism in Mathematics Vol. 2 An Introduction
1988
A. S. Troelstra, D. Van Dalen
+ shelf
+ list
Lectures on linear logic
1992
A. S. Troelstra
+ shelf
+ list
Tijgers op de Ararat: natuurhistorische reisverhalen, 1700-1950
2003
A. S. Troelstra
+ shelf
+ list
Constructivism in Mathematics, Vol 2 Vol. II
2014
A. S. Troelstra, D. van Dalen
+ shelf
+ list
Bibliography of natural history travel narratives
2016
A. S. Troelstra
