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

Amazon cover image
Image from Amazon.com

MATHEMATICAL LOGIC

By: Contributor(s): Material type: TextTextLanguage: English Publication details: Oxford Univ. Pr., New York c1993Description: xix,338,pt-1ISBN:
  • 0198500483
Subject(s): DDC classification:
  • 511.3 C813M
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
Text Books Text Books PK Kelkar Library, IIT Kanpur TEXT 511.3 C813M (Browse shelf(Opens below)) Available A136012
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur shelves, Collection: TEXT Close shelf browser (Hides shelf browser)
511.02462 C368n cop.1 Numerical methods for engineers 511.02462 C368n cop.2 Numerical methods for engineers 511.3 C813M MATHEMATICAL LOGIC 511.3 C813M MATHEMATICAL LOGIC 511.3 M336f cop.1 First order mathematical logic 511.3 M336f cop.2 First order mathematical logic 511.3 P197c cop.1 Computational complexity

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

There are no comments on this title.

to post a comment.

Powered by Koha