First Course in Mathematical Logic (Dover Books on Mathematics) [Paperback]

Patrick Suppes (Author), Shirley Hill (Author)

Book Description

ISBN-10: 0486422593 | ISBN-13: 978-0486422596 | Publication Date: June 17, 2010

Starting with symbolizing sentences and sentential connectives, this work proceeds to the rules of logical inference and sentential derivation, examines the concepts of truth and validity, and presents a series of truth tables. Subsequent topics include terms, predicates, and universal quantifiers; universal specification and laws of identity; axioms for addition; and universal generalization. 1964 edition. Index.

Product Details

• Paperback: 288 pages
• Publisher: Dover Publications (June 17, 2010)
• Language: English
• ISBN-10: 0486422593
• ISBN-13: 978-0486422596
• Product Dimensions: 8.3 x 5.7 x 0.6 inches
• Shipping Weight: 10.4 ounces (View shipping rates and policies)
• Average Customer Review: 4.5 out of 5 stars  See all reviews (2 customer reviews)
• Amazon Best Sellers Rank: #595,548 in Books (See Top 100 in Books)

More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

Most Helpful Customer Reviews

23 of 23 people found the following review helpful:

4.0 out of 5 stars Good coverage, but lack of solutions weakens it., October 26, 2002

By 

Charles Ashbacher (Marion, Iowa United States) - See all my reviews
(TOP 500 REVIEWER)    (VINE VOICE)    (HALL OF FAME REVIEWER)   

This review is from: First Course in Mathematical Logic (Dover Books on Mathematics) (Paperback)

Logic is one of the foundations of mathematics, making quality textbooks essential. This is one of the better ones, with descriptions followed by a large number of exercises. The basic strategy is to present the material in small sections, most of which are two pages or less in length. One unusual aspect of the book is that the authors chose to wait until chapter four to present truth tables. Traditionally the first topic in logic textbooks, leaving truth tables until later forces the reader to learn the operational meanings of the connectives. I approve of this pedagogical technique, undue reliance on truth tables can lead to the masking of some of the concepts of logic. Propositions and predicates are covered, with more ink spent on propositions that predicates and a simple set of axioms for addition is also presented
One negative point is that no solutions to the exercises are included. In my opinion, any book without solutions to some of the exercises is of reduced value as a textbook. Students work problems on their own and it is very important for them to get immediate feedback. This also reduces its' value as a text for self study.
I can recommend this book, the quality of the explanations and the number and detail of the exercises make that easy. However, the lack of solutions means that it can only receive my second highest recommendation.

Published in Journal of Recreational Mathematics, reprinted with permission.

5 of 5 people found the following review helpful:

5.0 out of 5 stars The best book for self teaching logic, August 10, 2009

By 

Pons Asinorum "Aspiring Logician" (Milky Way) - See all my reviews

This review is from: First Course in Mathematical Logic (Dover Books on Mathematics) (Paperback)

I own Symbolic Logic by Virginia Klenk, The Laws of Thought by George Boole, Logic Sets and Recursion by Causey and several discrete math texts including Rosens. Each one of them offers you some insight into logic; however, none of them offer the facility to learn logic like this book does. It is even superior as a first text to Suppes other Introduction to Logic which I also own. I highly recommend it to everyone. I wish I would have found this text 20 years ago it really changed the way I do logic.