Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis

Your search returned 4 results.

Results
	1.	Introduction to mathematical logic and type theory : to truth through proof by Andrews P B Series: Computer science and applied mathematics Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Orlando Academic Press 1986 Availability: Items available for loan: ISI Library, Kolkata (2)Call number: 511.3 An565, ... Place hold Add to cart (remove)
	2.	No cover image available Transfinite type theory with type variables by Andrews P B Series: Studies in logic and the foundations of mathematics; 37 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam North-Holland 1965 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 St933(37). Place hold Add to cart (remove)
	3.	Twenty-five years of constructive type theory proceedings by Sambin Giovanni ed Conference on Twenty-five Years of Constructive Type Theory (19-21 Oct 1995 : Venice,Switzerland) Conference on twenty-five years of constructive type theory Venice, Switzerland 19-21 Oct 1995 Series: Oxford logic guides; 36 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford Clarendon Press 1998 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 C748. Place hold Add to cart (remove)
	4.	Type theory and formal proof : an introduction / Rob Nederpelt and Herman Geuvers. by Nederpelt, Rob Geuvers, Herman [author] Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge : Cambridge University Press, 2014 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 N371. Place hold Add to cart (remove)

Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in