MATHEMATICAL LOGIC

By:

Cori,Rene

Contributor(s):

Lascar,Daniel

Material type: Text

TextLanguage: English Publication details: Oxford Univ. Pr., New York c2001Description: xx,331,pt -2ISBN:

0198500505

Subject(s):

Logic, Symbolic And Mathematical

DDC classification:

511.3 C813M

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode	Item holds
Text Books	PK Kelkar Library, IIT Kanpur	TEXT	511.3 C813M (Browse shelf(Opens below))	Available		A136013

Total holds: 0

Browsing PK Kelkar Library, IIT Kanpur shelves, Collection: TEXT Close shelf browser (Hides shelf browser)

Previous								Next
Previous	511 L586e cop.9 Elements of the theory of computattion	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	Next

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

There are no comments on this title.

to post a comment.

Place hold
Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core ISBD MARC (non-Unicode/MARC-8) RIS MARC (Unicode/UTF-8)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

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

MATHEMATICAL LOGIC

Browsing PK Kelkar Library, IIT Kanpur shelves, Collection: TEXT Close shelf browser (Hides shelf browser)