A Mathematical Introduction to Logic - Hardcover

Enderton, Herbert B.

Hardcover

ISBN 10: 0122384504 ISBN 13: 9780122384509

Publisher: Academic Press Inc, 1997

Synopsis

A Mathematical Introduction to Logic Presents material on computer science issues such as computational complexity and database queries, with coverage of introductory material such as sets. This book helps instructors with choices in how they use the textbook in courses, and reduced mathematical rigour to fit the needs of undergraduate students. Full description

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"

Edition details

• Publisher: Academic Press Inc
• Publication date: 1997
• ISBN 10: 0122384504
• ISBN 13: 9780122384509
• Binding: Hardcover
• Language: English
• Number of pages: 295