The author died in , but his webpages live on, including one with his own comments on his second edition. A final chapter covers second-order logic and some other matters. A Mathematical Introduction to Logic eventually became part of a logical trilogy, with the publication of the wonderfully lucid Elements of Set Theory and Computability Theory The first volume, by contrast, is not the most approachable first pass through its material. Some might think this chapter to be slightly odd.
|Published (Last):||16 February 2010|
|PDF File Size:||12.53 Mb|
|ePub File Size:||19.19 Mb|
|Price:||Free* [*Free Regsitration Required]|
About this title A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets.
From the Back Cover: About this book An accessible, flexible introduction to the subject of mathematical logic, the second edition of this popular and widely-adopted text has been revised to be appropriate for courses enrolling either advanced undergraduates or graduate students. Like the First Edition, this book is an introduction to the concepts of proof, truth, and computability. This Second Edition has additional examples and explanations to help the reader.
Footnotes indicate optional paths through the material that the user might wish to take. Topics relevant to computer science, such as finite models, are also now included. I adopted this text because of its detailed and rigorous treatment of the predicate calculus, detailed and optimal treatment of the incompleteness phenomena, standard notation as developed by the Berkeley school. I definitely would use a new edition of this book.
A Mathematical Introduction to Logic
Mathematical Introduction To Logic Enderton