IMSc Library catalog › Results of search for 'ccl=au:"Troelstra, A. S."'

Your search returned 6 results.

Not what you expected? Check for suggestions

			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
			Lectures on Linear Logic by Troelstra, A S. Series: CSLI Lecture Notes, 29Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Center for the study of language and information ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 9 Call number: 510.6 TRO. Place hold Log in to add tags
			Basic Proof Theory by Troelstra, A S \| Schwichtenberg, H. Series: Cambridge Tracts in Theoretical Computer Science, V. 43Edition: 1st & 2ndMaterial type: Text;Language: ; Format: print Publication details: Cambridge ; CUP ; 1996, 2000Availability: Items available for loan: IMSc Library (3). Location(s): Second floor, Rack No: 49, Shelf No: 22 Call number: 681.3 TRO. Place hold Log in to add tags
			Constructivism in Mathematics, an introduction Vols. 1 & 2 by Troelstra, A S \| van Dalen, Dirk. Series: Studies in Logic, Vols. 121 & 123Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Netherlands ; Elsevier (NH) ; 1988Availability: Items available for loan: IMSc Library (2). Location(s): First Floor, Rack No: 28, Shelf No: 9 Call number: 510.6 TRO. Place hold Log in to add tags
			Principles of Intuitionism [electronic resource] : Lectures presented at the summer conference on Intuitionism and Proof theory (1968) at SUNY at Buffalo, N.Y. / by A. S. Troelstra. by Troelstra, A. S [author.] \| SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 95Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1969Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Metamathematical Investigation of Intuitionistic Arithmetic and Analysis [electronic resource] / edited by A. S. Troelstra. by Troelstra, A. S [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 344Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1973Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha