FEEDBACK Smiley face
Normal view MARC view ISBD view

Foundations of mathematical logic

By: Curry, Haskell B.
Material type: materialTypeLabelBookPublisher: New York : Dover Publications, ©1977Description: viii, 408 p. : ill. ; 21 cm.ISBN: 9780486634623.Subject(s): Logic, Symbolic and mathematicalOnline resources: Publisher description | Table of contents
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Collection Call number Status Date due Barcode Item holds
Books Books IIITD
Mathematics REF 511.3 CUR-F (Browse shelf) Available 003634
Total holds: 0
Browsing IIITD Shelves , Shelving location: Reference , Collection code: Mathematics Close shelf browser
REF 511.3 BER-H Handbook of process algebra REF 511.3 CRE-C Complexity classifications of Boolean constraint satisfaction problems REF 511.3 CUN-L A logical introduction to proof REF 511.3 CUR-F Foundations of mathematical logic REF 511.3 DAL-L Logic and structure REF 511.3 DOW-A Algorithmic randomness and complexity REF 511.3 DOW-P Parameterized complexity

"An unabridged and corrected republication of the work first published by the McGraw-Hill Book Company, inc., in 1963."

Includes index.

Bibliography: p. 369-390.

There are no comments for this item.

Log in to your account to post a comment.

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: