Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-8 of 8 results for author "Troelstra, A. S. (Anne Sjerp)"
Metamathematical investigation of intuitionistic arithmetic and analysis [by] A. S. Troelstra (ed.).
- Text
- Berlin, Heidelberg, New York, Springer, 1973.
- 1973
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 v. 344-345 Offsite Choice sequences : a chapter of intuitionistic mathematics / by A. S. Troelstra.
- Text
- Oxford [Eng.] : Clarendon Press, 1977.
- 1977
- 1 Item
Item details Format Call Number Item Location Text JSE 77-1484 Offsite Basic proof theory / A.S. Troelstra, H. Schwichtenberg.
- Text
- Cambridge ; New York : Cambridge University Press, 1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text JSE 99-1423 Offsite Choice sequences : a chapter of intuitionistic mathematics / by A. S. Troelstra.
- Text
- Oxford [Eng.] : Clarendon Press, 1977.
- 1977
- 1 Item
Item details Format Call Number Item Location Text QA9.47 .T77 Off-site Principles of intuitionism / [By] A. S. Troelstra.
- Text
- Berlin ; Heidelberg ; New York : Springer, 1969.
- 1969
- 1 Item
Item details Format Call Number Item Location Text QA9.47 .T774 1969g Off-site Intuitionistic general topology.
- Text
- Groningen, V.R.B., Kleine der A 3-4, 1966.
- 1966
- 1 Item
Item details Format Call Number Item Location Text Math 4709.66.105 1966 Off-site Tijgers op de Ararat : natuurhistorische reisverhalen, 1700-1950 / Anne S. Troelstra.
- Text
- Amsterdam : Atlas, c2003.
- 2003
- 1 Item
Item details Format Call Number Item Location Text QH15 .T76 2003 Off-site Choice sequences : a chapter of intuitionistic mathematics / by A. S. Troelstra.
- Text
- Oxford [Eng.] : Clarendon Press, 1977.
- 1977
- 1 Item
Item details Format Call Number Item Location Text QA9.47.T77 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
