IMSc Library catalog › Results of search for 'se,phr:"Studies in logic and the foundations of Mathematics"'

Your search returned 9 results.

Not what you expected? Check for suggestions

			No cover image available Intutitionism An Introduction by Heyting, A. Series: Studies in logic and the foundations of mathematicsMaterial type: Text;Language: English; Format: print Language: English Publication details: Amsterdam North-Holland Publishing Company 1956Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 HEY. Place hold Log in to add tags
			No cover image available Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Godel by Mostowski, Andrzej. Series: Studies in logic and the foundations of mathematicsMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Amsterdam ; North-Holland Publishing Company ; 1957Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 6 Call number: 510.6 MOS. Place hold Log in to add tags
			No cover image available Outlines of a formalist philosophy of mathematics by Curry, Haskell B. Series: Studies in logic and the foundations of mathematicsMaterial type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam North-Holland Publishing Company 1951Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 CUR. Place hold Log in to add tags
			No cover image available The axiomatic method with special reference to geometry and physics by Henkin, Léon Ed \| Suppes, Patrick Ed \| Tarski, Alfred Ed. Series: Studies in logic and the foundations of mathematicsMaterial type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam North-Holland Publishing Company 1959Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 HEN. Place hold Log in to add tags
			No cover image available Recursive Analysis by Goodstein, R.L. Series: Studies in logic and the foundations of MathematicsMaterial type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam North-Holland Publicatins Company 1961Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 GOO. Place hold Log in to add tags
			No cover image available Recursive Analysis by Goodstein, R. L. Series: Studies in logic and the foundations of MathematicsMaterial type: Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam North-Holland Publishing Company 1961Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 GOO. Place hold Log in to add tags
			Tools and Techniques in Modal Logic by Kracht, Marcus. Series: Studies in Logic and the Foundations of Mathematics, 142Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Amsterdam ; Elsevier ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 5 Call number: 510.6 KRA. Place hold Log in to add tags
			Categorical Logic and Type Theory : (SL - FM 141) by Jacobs, B. Series: Studies in Logic and the Foundations of Mathematics, 141Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Netherlands ; Elsevier ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 4 Call number: 510.6 JAC. Place hold Log in to add tags
			Lectures on the Curry-Howard Isomorphism by Sorenson, M.H \| Urzyczyn, P. Series: Studies in Logic and the Foundations of Mathematics; 00149Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Elsevier ; London ; 2006Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 19 Call number: 681.3 SOR. Place hold Log in to add tags

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha