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

Your search returned 3 results. Subscribe to this search

|
1. Computability theory, semantics, and logic programming

by Fitting, Melvin.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi, 198p.Publisher: New York Oxford University Press 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 F564c] (1).

2. SET THEORY AND THE CONTINUUM PROBLEM

by Smullyan,Raymond M | Fitting,Melvin.

Material type: book Book Description: xiii,288.Publisher: Clarendon Press, Oxford c1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.322 SM85S] (1).

3. PROOF METHODS FOR MODAL AND INTUITIONISTIC LOGICS

by Fitting,Melvin.

Material type: book Book; Format: print ; Literary form: not fiction Description: viii,555.Publisher: D. Reidel, Dordrecht 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 F564P] (1).

Powered by Koha