PKK Library catalog › Results of search for 'su:{Proof theory}'

	21.	A logical introduction to proof by Cunningham, Daniel W. Material type: Book; Format: print ; Literary form: not fiction Description: xv, 356p.Publisher: New York Springer 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.36 C917l] (1). Place hold Add to cart (remove)
	22.	Handbook of mathematical induction : theory and applications by Gunderson, David S. Material type: Book; Format: print ; Literary form: not fiction Description: xxv, 893p.Publisher: Boca Raton Crc Press 2011Availability: No items available Checked out (1). Place hold Add to cart (remove)
	23.	An introduction to proof through real analysis by Madden, Daniel J \| Aubrey, Jason A. Description: xxiii, 417p.Publisher: New Jersey Wiley 2017Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 M263i] (1). Place hold Add to cart (remove)

PKK Library