Your search returned 3 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
1.
No cover image available
Principles of intuitionism : lectures presented at the Summer Conference on Intuition and proof theory(1968) atSuny ar Baffalo, N. Y / A. S. Troelstra by Series: Lecture notes in mathematics. a collection of informal reports and seminars ; ; No. 95
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin : Springer, 1969
Availability: Items available for loan: National Library of India (1)Call number: S.T 510.82 L 497.

Place hold Request article Save to lists
2.
No cover image available
Constructivism in mathematics : an introduction / A.S. Troelstra, D. van Dalen by Series: Studies in logic and the foundations of mathematics ; v. 123
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam : North-Holland, 1988-
Availability: Items available for loan: National Library of India (1)Call number: S.T 311.3 T 743.

Place hold Request article Save to lists
3.
Metamathematical investigation of intuitionistic arithmetic and analysis / A. S. Troelstra (ed.) by Series: Lecture notes in mathematics ; 344
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin : Springer, 1973
Availability: Items available for loan: National Library of India (1)Call number: S.T 510.82 L 497no344.

Place hold Request article Save to lists
                                                                           
web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India