A Mathematical Introduction to Logic 3rd Edition

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