PKK Library catalog › Results of search for 'su:{Induction Mathematics}'

Refine your search

Availability
- Limit to currently available items.
Authors
- Golovina, L. I. (1)
- Gunderson, David S. (1)
- Sangiorgi, Davide, Ed. (1)
- Wand, Mitchell (2)
- Youse, Bevan K. (1)
- Show more
Holding libraries
- PK Kelkar Library, IIT Kanpur (6)
Home libraries
- PK Kelkar Library, IIT Kanpur (6)
Item types
- Books (6)
Series
Topics
- Electronic Digital Computers -- Programming (2)
- Induction (Mathematics) (5)
- Modality (Logic) (1)
- Probabilities (1)
- Recursion Theory (2)
- Show more

	1.	Induction, recursion and programming by Wand, Mitchell. Material type: Book; Format: print ; Literary form: not fiction Description: xii, 202p.Publisher: New York North-Holland 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 W181i Cop.2] (1). Place hold Add to cart (remove)
	2.	INDUCTION IN GEOMETRY by Golovina, L. I \| Yaglom, I. M. Material type: Book; Format: print ; Literary form: not fiction Description: 133.Publisher: Moscow Mir Publishers 1979Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 516 G583i] (1). Add to cart (remove)
	3.	Induction, recursion and programming by Wand, Mitchell. Material type: Book; Format: print ; Literary form: not fiction Description: xii, 202p.Publisher: New York North-Holland 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 W181i] (1). Place hold Add to cart (remove)
	4.	Advanced topics in bisimulation and coinduction by \| Sangiorgi, Davide, Ed. Material type: Book; Format: print ; Literary form: not fiction Description: xiii, 326p.Publisher: Cambridge Cambridge University Press 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.015113 Ad95] (1). Place hold Add to cart (remove)
	5.	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)
	6.	MATHEMATICAL INDUCTION by Youse, Bevan K. Material type: Book Description: 55.Publisher: Englewood Cliffs, N. J. Prentice-Hall 1964Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 Yo88m] (1). Place hold Add to cart (remove)

PKK Library

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Refine your search

Authors

Item types

Series

Topics