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

Refine your search

Availability
- Limit to currently available items.
Authors
- Kleene, Stephen Cole (1)
- Lorenzen, Paul (1)
- Nidditch, P. H. (1)
- Rasiowa, Helena (1)
- Shankar,N. (1)
- Show more
Holding libraries
- PK Kelkar Library, IIT Kanpur (9)
Home libraries
- PK Kelkar Library, IIT Kanpur (9)
Item types
- Books (9)
- Lost (1)
Series
Topics
- Algorithms (1)
- Electronic Digital Computers -- Programming (1)
- Godels Theorem (1)
- Metamathematics (9)
- Science. Methodology (1)
- Show more

	1.	MECHANISM, MENTALISM, AND METAMATHEMATICS by Webb. Judon Chambers. Material type: Book; Format: print ; Literary form: not fiction Description: xiii,277.Publisher: Dordrecht D. Reidel 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 W382m] (1). Place hold Add to cart (remove)
	3.	METAMATHEMATICS MACHINES AND GODELS PROOF by Shankar,N. Material type: Book; Format: print ; Literary form: not fiction Description: xv,202.Publisher: Cambridge Univ. Press, Cambridge 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 SH18M] (1). Place hold Add to cart (remove)
	4.	METAMATHEMATICS OF FIRST-ORDER AIRTHMETIC by Hajek,Petr \| Pudlak,Pavel. Material type: Book; Format: print ; Literary form: not fiction Description: xiv,460.Publisher: Springer-Verlag, Berlin 1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 H127M] (1). Place hold Add to cart (remove)
	5.	THE MATHEMATICS OF METAMATHEMATICS by Rasiowa, Helena. Material type: Book Description: 519.Publisher: Warszawa Panstwowe Wydaunictwo Naukowe 1963Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.01 R183m] (1). Place hold Add to cart (remove)
	6.	Introduction to metamathematics by Kleene, Stephen Cole. Material type: Book; Format: print ; Literary form: not fiction Description: x, 550p.Publisher: Amsterdam North-Holland 1952Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 K67i] (2). Place hold Add to cart (remove)
	7.	ELEMENTARY LOGIC OF SCIENCE AND MATHEMATICS by Nidditch, P. H. Material type: Book Description: 371.Publisher: London Tutorial Press 1960Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 N549e] (1). Place hold Add to cart (remove)
	8.	THEORY OF FORMAL SYSTEMS by Smullyan, Raymond M. Material type: Book Description: 142.Publisher: Princeton, N. J. Princeton University Press 1961Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510 An72] (1). Place hold Add to cart (remove)
	9.	METAMETHEMATIK by Lorenzen, Paul. Material type: Book Description: 167.Publisher: Mannheim Bibliographisches Institut c1962Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 501 L887m] (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