This book gives a mathematical treatment of the basic ideas and results of logic. It is intended to serve as a textbook for an introductory mathematics course in logic at the junior-senior level. The objectives are to present the important concepts and theorems of logic and to explain their significance and their relationship to the reader's other mathematical work.

*"synopsis" may belong to another edition of this title.*

**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

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 title" may belong to another edition of this title.*

Published by
Academic Press
(1972)

ISBN 10: 0122384504
ISBN 13: 9780122384509

New
Hardcover
Quantity Available: 2

Seller

Rating

**Book Description **Academic Press, 1972. Hardcover. Book Condition: New. Bookseller Inventory # P110122384504

More Information About This Seller | Ask Bookseller a Question

Published by
Academic Press

ISBN 10: 0122384504
ISBN 13: 9780122384509

New
Hardcover
Quantity Available: 1

Seller

Rating

**Book Description **Academic Press. Hardcover. Book Condition: New. 0122384504 New Condition. Bookseller Inventory # NEW6.0040161

More Information About This Seller | Ask Bookseller a Question

Published by
Academic Press
(1972)

ISBN 10: 0122384504
ISBN 13: 9780122384509

New
Hardcover
Quantity Available: 1

Seller

Rating

**Book Description **Academic Press, 1972. Hardcover. Book Condition: New. Bookseller Inventory # DADAX0122384504

More Information About This Seller | Ask Bookseller a Question