A Mathematical Introduction to Logic - Hardcover

Enderton, Herbert B.

Hardcover

ISBN 10: 0122384520 ISBN 13: 9780122384523

Publisher: Academic Press, 2001

Synopsis

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. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. 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.

* Increased flexibility of the text, allowing instructors more choice in how they use the textbook in courses.
* Reduced mathematical rigour to fit the needs of undergraduate students

About this title

Review:

Reasons for This Book's Success
"Rigor, integrity and coherence of overall purpose, introducing students to the practice of logic . . ."
--Douglas Cannon, University of Washington
"The book is clearly and carefully written. 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."
--Karel Prikry, University of Minnesota
"It is mathematically rigorous [and] it has more examples than other books . . . I definitely would use a new edition of this book."
--Sun-Joo Chin, University of Notre Dame

Reasons for This Book's Success
"Rigor, integrity and coherence of overall purpose, introducing students to the practice of logic . . ."
--Douglas Cannon, University of Washington
"The book is clearly and carefully written. 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."
--Karel Prikry, University of Minnesota
"It is mathematically rigorous [and] it has more examples than other books . . . I definitely would use a new edition of this book."
--Sun-Joo Chin, University of Notre Dame

""This is easily the BEST intro logic book ever written It s the only MATH book on logic out there that is easy to understand and yet formal enough to be considered mathematical. "--""BookInspections.com, " May 26, 2013 Reasons for This Book's Success "Rigor, integrity and coherence of overall purpose, introducing students to the practice of logic . . ." --Douglas Cannon, University of Washington "The book is clearly and carefully written. 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." --Karel Prikry, University of Minnesota "It is mathematically rigorous [and] it has more examples than other books . . . I definitely would use a new edition of this book." --Sun-Joo Chin, University of Notre Dame"

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.
Reasons for This Book's Success
"Rigor, integrity and coherence of overall purpose, introducing students to the practice of logic . . ."
--Douglas Cannon, University of Washington
"The book is clearly and carefully written. 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."
--Karel Prikry, University of Minnesota
"It is mathematically rigorous [and] it has more examples than other books . . . I definitely would use a new edition of this book."
--Sun-Joo Chin, University of Notre Dame

About this edition

• Publisher: Academic Press
• Publication date: 2001
• ISBN 10: 0122384520
• ISBN 13: 9780122384523
• Binding: Hardcover
• Edition number: 2
• Number of pages: 336