.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Mathematical Logic, 2nd Edition (Undergraduate Texts in Mathematics)
Ebbinghaus, H.-D., Flum, J., Thomas, Wolfgang
€ 100.52
FREE Delivery in Ireland
Description for Mathematical Logic, 2nd Edition (Undergraduate Texts in Mathematics)
Hardcover. Provides a treatment of first-order logic and its role in the foundations of mathematics. This junior/senior level text covers several topics such as Trachtenbrot's undecidability theorem, Fraisse's characterization of elementary equivalence, Lindstrom's theorem on the maximality of first-order logic, and the fundamentals of logic programming. Series: Undergraduate Texts in Mathematics. Num Pages: 301 pages, biography. BIC Classification: PBCD. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 241 x 166 x 21. Weight in Grams: 596.
What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To what extent can machines carry out mathe matical proofs? Only in this century has there been success in obtaining substantial and satisfactory answers. The present book contains a systematic discussion of these results. The investigations are centered around first-order logic. Our first goal is Godel's completeness theorem, which shows that the con sequence relation coincides with formal provability: By means of a calcu lus consisting of simple formal inference rules, one can obtain all conse quences of a given axiom system (and in particular, ... Read more
What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To what extent can machines carry out mathe matical proofs? Only in this century has there been success in obtaining substantial and satisfactory answers. The present book contains a systematic discussion of these results. The investigations are centered around first-order logic. Our first goal is Godel's completeness theorem, which shows that the con sequence relation coincides with formal provability: By means of a calcu lus consisting of simple formal inference rules, one can obtain all conse quences of a given axiom system (and in particular, ... Read more
Product Details
Format
Hardback
Publication date
1996
Publisher
Springer
Condition
New
Series
Undergraduate Texts in Mathematics
Number of Pages
291
Place of Publication
New York, NY, United States
ISBN
9780387942582
SKU
V9780387942582
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Mathematical Logic, 2nd Edition (Undergraduate Texts in Mathematics)
“…the book remains my text of choice for this type of material, and I highly recommend it to anyone teaching a first logic course at this level.” – Journal of Symbolic Logic