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

Normal view MARC view ISBD view

MATHEMATICAL LOGIC

By: Cori,Rene.
Contributor(s): Lascar,Daniel.
Material type: materialTypeLabelBookPublisher: Oxford Univ. Pr., New York c2001Description: xx,331,pt -2.ISBN: 0198500505.Subject(s): Logic, Symbolic And MathematicalDDC classification: 511.3 | C813M
    average rating: 0.0 (0 votes)
Item type Current location Collection Call number Status Date due Barcode Item holds
Text Books Text Books PK Kelkar Library, IIT Kanpur
TEXT 511.3 C813M (Browse shelf) Available A136013
Total holds: 0

Part -2 Recursion Theroy, Godel'S Theorems,Set Theory, Model Theory Part - 1propositional Calculus,Boolean Algebras, Predicate Calculus, Completeness Theorems

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha