Product Description

The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in mathematical logic. This edition includes an extensive appendix on second-order logic, a section on set theory with urlements, and a section on the logic that results when we allow models with empty domains. The text contains numerous exercises and an appendix furnishes answers to many of them. In Introduction to Mathematical Logic all topics are presented in a clear, reader-friendly style that will be valued by anyone working in computer science as well as lecturers and researchers in mathematics, philosophy, and related fields.

Product Details

• Amazon Sales Rank: #101441 in Books
• Published on: 1997-06-01
• Original language: English
• Number of items: 1
• Binding: Hardcover
• 456 pages

Synopsis
The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in mathematical logic. This edition includes an extensive appendix on second-order logic, a section on set theory with urlements, and a section on the logic that results when we allow models with empty domains. The text contains numerous exercises and an appendix furnishes answers to many of them. "Introduction to Mathematical Logic" includes: propositional logic first-order logic first-order number theory and the incompleteness and undecidability theorems of G/del, Rosser, Church, and Tarski; and axiomatic set theory theory of computability. The study of mathematical logic, axiomatic set theory, and computability theory provides an understanding of the fundamental assumptions and proof techniques that form basis of mathematics. Logic and computability theory have also become indispensable tools in theoretical computer science, including artificial intelligence.

"Introduction to Mathematical Logic" covers these topics in a clear, reader-friendly style that will be valued by anyone working in computer science as well as lecturers and researchers in mathematics, philosophy, and related fields.

From the Back Cover
The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in mathematical logic. This edition includes an extensive appendix on second-order logic, a section on set theory with urlements, and a section on the logic that results when we allow models with empty domains. The text contains numerous exercises and an appendix furnishes answers to many of them.
Introduction to Mathematical Logic includes:

Customer Reviews

Wonderful at the second glance
Mendelson's Introduction to Mathematical Logic was the textbook for a logic-course I took a couple of years ago. At the time I did not like the book at all. It seemed too difficult and so typographically ugly that I thought I would never use it.

Things have changed though.
Now, I keep it close at hand on my desk and refer to it frequently. Technical questions that used to require a trip to the library and several different books to answer, can usually be resolved by a look in Mendelson's book. It's wonderfully rich and clear! I still don't find everything easy but that's because the material isn't easy and so not something Mendelson can be blamed for. I do find the typography ugly and at times annoying, but that's a small price to pay for a presentation as rigorous and detailed as Mendelson's.

So, in summary: it's not the ideal book for the complete newcomer (unless he or she comes to it with some mathematical sophistication), but once you get past the initial hurdle it's a must read. It's a little on the expensive side, but if you're serious about logic it is definitely worth it.