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

Your search returned 4 results. Subscribe to this search

|
1. GENERAL RECURSION THEORY

by Fenstad, Jens Erik.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi,225.Publisher: Berlin Springer-Verlag 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 F366g] (1).

2. BASIC SET THEORY

by Levy, Azriel.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv,391.Publisher: Berlin Springer-Verlag 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L579b] (1).

3. RECURSION-THEORETIC HIERARCHIES

by Hinman, Peter G.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii,466.Publisher: Berlin Springer-Verlag 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 H593r] (1).

4. MODEL-THEORETIC LOGICS

by Barwise, J., ed. Feferman, S., ed.

Material type: book Book Description: xviii,893.Publisher: New York Springer-Verlag c1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.8 M72] (1).

Powered by Koha