Your search returned 3 results.

Not what you expected? Check for suggestions
BOOKS
Foundations of mathematical logic

by Curry, Haskell B.

Material type: Text Text;Language: ; Format: print Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 48 Call number: 510.6 CUR.

BOOKS
A theory of formal deducibility

by Curry, Haskell B.

Series: Notre Dame mathematical lecturesMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Notre Dame University of Notre Dame Press 1950Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 CUR.

BOOKS
Outlines of a formalist philosophy of mathematics

by Curry, Haskell B.

Series: Studies in logic and the foundations of mathematicsMaterial type: Text 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.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha