Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
1.
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, c1988-
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
2.
Choice sequences : a chapter of intuitionistic mathematics / by A. S. Troelstra by Series: Oxford logic guides
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Oxford : Clarendon Press, c1977
Availability: Items available for loan: National Library of India (1)Call number: E/O 517.21 T 743.

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