MARC details
| 000 -LEADER |
|---|
| fixed length control field |
03143nam a22004097a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20240626095634.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
240625b |||||||| |||| 00| 0 hin d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783030738419 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
NISER LIBRARY |
| Language of cataloging |
eng |
| Transcribing agency |
NISER LIBRARY |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
510.6 |
| Item number |
EBB-M |
| 100 ## - MAIN ENTRY--PERSONAL 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, distribution, etc. |
Switzerland : |
| Name of publisher, distributor, etc. |
Springer Nature, |
| Date of publication, distribution, etc. |
2021. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
ix, 304p. : |
| Other physical details |
illustrations ; |
| Dimensions |
25 cm. |
| 490 ## - SERIES STATEMENT |
|---|
| Series statement |
Graduate texts in mathematics, |
| Volume/sequential designation |
291. |
| International Standard Serial Number |
0072-5285; |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references (pages 291-292) and index. |
| 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.<br/><br/>The chapters are carefully organized, featuring complete proofs and numerous examples throughout. Beginning with motivating examples, the book goes on to present the syntax and semantics of first-order logic. After providing a sequent calculus for this logic, a Henkin-type proof of the completeness theorem is given. These introductory chapters prepare the reader for the advanced topics that follow, such as Gödel's Incompleteness Theorems, Trakhtenbrot's undecidability theorem, Lindström's theorems on the maximality of first-order logic, and results linking logic with automata theory. This new edition features many modernizations, as well as two additional important results: The decidability of Presburger arithmetic, and the decidability of the weak monadic theory of the successor function.<br/><br/>Mathematical Logic is ideal for students beginning their studies in logic and the foundations of mathematics. Although the primary audience for this textbook will be graduate students or advanced undergraduates in mathematics or computer science, in fact the book has few formal prerequisites. It demands of the reader only mathematical maturity and experience with basic abstract structures, such as those encountered in discrete mathematics or algebra. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic, Symbolic and mathematical. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Mathematical Logic and Foundations. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Mathematics of Computing. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Predicate calculus. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Gödel’s completeness theorem |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Mathematical provability |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Model theory logic |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Trakhtenbrot’s theorem |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Herbrand's theorem |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Lindström’s theorem |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Presburger arithmetic |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Model theory logic |
| 700 ## - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Flum, Jörg |
| 700 ## - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Thomas, Wolfgang |
| 856 ## - ELECTRONIC LOCATION AND ACCESS |
|---|
| Materials specified |
Table of contents |
| Uniform Resource Identifier |
<a href="https://link.springer.com/content/pdf/bfm:978-3-030-73839-6/1">https://link.springer.com/content/pdf/bfm:978-3-030-73839-6/1</a> |
| 856 ## - ELECTRONIC LOCATION AND ACCESS |
|---|
| Materials specified |
Reviews |
| Uniform Resource Identifier |
<a href="https://www.goodreads.com/book/show/71365922-mathematical-logic?ref=nav_sb_ss_1_13#CommunityReviews">https://www.goodreads.com/book/show/71365922-mathematical-logic?ref=nav_sb_ss_1_13#CommunityReviews</a> |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
Universal Decimal Classification |
| Koha item type |
NBHM Books |
