IMSc Library catalog › Results of search for 'su:"Intuitionistic mathematics"'

Your search returned 3 results.

Not what you expected? Check for suggestions

			Proof theory and intuitionistic systems. by Scarpellini, Bruno. Series: Lecture notes in mathematics (Springer-Verlag) ; 212.Material type: Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin, New York, Springer-Verlag, 1971Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 29 Call number: 51 LNM. Place hold Log in to add tags
			Metamathematical investigation of intuitionistic arithmetic and analysis [by] A. S. Troelstra (ed.). by Troelstra, A. S. Series: Lecture notes in mathematics (Springer-Verlag) ; 344.Material type: Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin, Heidelberg, New York, Springer, 1973Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 30 Call number: 51 LNM. Place hold Log in to add tags
			Mathematical Intuitionism Introduction to Proof Theory by Dragalin, A.G \| Mendelson, E (Translated). Series: Translations of mathematical monographsMaterial type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Providence, R.I American Mathematical Society 1988Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 DRA. Place hold Log in to add tags