Mathematical Logic (Record no. 60509)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 01581nam a22002537a 4500 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 240708b |||||||| |||| 00| 0 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9783030738419 (PB) |
041 ## - LANGUAGE CODE | |
Language code of text/sound track or separate title | eng |
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER | |
Universal Decimal Classification number | 510.2 |
Item number | EBB |
100 ## - MAIN ENTRY--AUTHOR NAME | |
Personal name | Ebbinghaus, Heinz-Dieter |
245 ## - TITLE STATEMENT | |
Title | Mathematical Logic |
250 ## - EDITION STATEMENT | |
Edition statement | 3rd ed |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication | New York |
Name of publisher | Springer |
Year of publication | 2021 |
300 ## - PHYSICAL DESCRIPTION | |
Number of Pages | ix, 304p. |
490 ## - SERIES STATEMENT | |
Series statement | Graduate Texts in Mathematics |
Volume number/sequential designation | 291 |
504 ## - BIBLIOGRAPHY, ETC. NOTE | |
Bibliography, etc | Includes References (291-292) |
505 ## - FORMATTED CONTENTS NOTE | |
Formatted contents note | I. Introduction<br/>II. Syntax of First-Order Languages<br/>III. Semantics of First-Order Languages <br/>IV. A Sequent Calculus<br/>V. The Completeness Theorem<br/>VI. The Lowenheim-Skolem and the Compactness Theorem<br/>VII. The Scope of First-Order Logic<br/>VIII. Syntactic Interpretations and Normal Forms<br/>IX. Extensions of First-Order Logic<br/>X. Computability and its Limitations <br/>XI. Free Models and Logic Programming<br/>XII. An Algebraic Characterization of Elementary Equivalence<br/>XIII. Lindstrom's Theorems |
520 ## - SUMMARY, ETC. | |
Summary, etc | This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions. What is a mathematical proof? How can mathematical proofs be justified? Are there limitations to provability? To what extent can machines carry out mathematical proofs? In answering these questions, this textbook explores the capabilities and limitations of algorithms and proof methods in mathematics and computer science. |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Logic -- Computer Science |
690 ## - LOCAL SUBJECT ADDED ENTRY--TOPICAL TERM (OCLC, RLIN) | |
Topical term or geographic name as entry element | Mathematics |
700 ## - ADDED ENTRY--PERSONAL NAME | |
Personal name | Thomas, Wolfgang |
700 ## - ADDED ENTRY--PERSONAL NAME | |
Personal name | Flum, Jörg |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | BOOKS |
Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Shelving location | Full call number | Accession Number | Koha item type | Owner (If the Item is Gratis) |
---|---|---|---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | First Floor, Rack No: 27, Shelf No: 42 | 510.2 EBB | 78072 | BOOKS | Gratis by NBHM |