A Mathematical Introduction to Logic

Reviews / Votes

"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