Foundations of mathematical logic
Material type: TextPublication details: New York : Dover Publications, ©1977.Description: viii, 408 p. : ill. ; 21 cmISBN:- 9780486634623
- 511.3 CUR-F
- QA9 .C85 1977
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | IIITD Reference | Mathematics | REF 511.3 CUR-F (Browse shelf(Opens below)) | Available | 003634 |
Total holds: 0
Browsing IIITD shelves, Shelving location: Reference, Collection: Mathematics Close shelf browser (Hides shelf browser)
REF 511.3 BIE-H Handbook of satisfiability | 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 on this title.