PKK Library catalog › Results of search for 'su:{Type Theory}'

	1.	An introduction to mathematical logic and type theory: to truth through proof by Andrews, Peter B. Material type: Book; Format: print ; Literary form: not fiction Description: xv, 304p.Publisher: Orlando Academic Press 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 An27i] (1). Place hold Add to cart (remove)
	2.	LANGUAGE IN ACTION by Van Benthem, Johan. Material type: Book; Format: print ; Literary form: not fiction Description: x,349.Publisher: Amsterdam North-Holland 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 V26L] (1). Place hold Add to cart (remove)
	3.	TYPE LOGICAL GRAMMAR by Morrill,Glyn V. Material type: Book; Format: print ; Literary form: not fiction Description: xiv,307.Publisher: Kluwer Academic Publishers B. V., Dordrecht 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 M83T] (1). Place hold Add to cart (remove)

PKK Library