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

Normal view MARC view ISBD view

MATHEMATICAL LOGIC

By: Cori,Rene.
Contributor(s): Pelletier,Daniel.
Material type: materialTypeLabelBookPublisher: Oxford Univ. Pr., New York c1993Description: xix,338,pt-1.ISBN: 0198500483.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 A136012
Total holds: 0

Part - 1 Propositional Calculus , Boolean Alzebras, Predicate Calculus Part - 2 Recursion Theory, Godel'S Theorems, Set Theory, Model Theory

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha