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

Your search returned 3 results. Subscribe to this search

|
1. THE FOUNDATIONS OF INTUITIONISTIC MATHEMATICS : ESPECIALLY IN RELATION TO RECURSIVE FUNCTIONS

by Kleene, Stephen Cole | Vesley, Richard Eugene.

Material type: book Book Publisher: North-Holland Publishing Company 1965Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 ST9] (1).

2. Introduction to metamathematics

by Kleene, Stephen Cole.

Material type: book 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).

3. MATHEMATICAL LOGIC

by Kleene, Stephen Cole.

Material type: book Book Description: 398.Publisher: New York Wiley c1967Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.01 K672m] (1).

Powered by Koha