Subjects:  1. Arithmetic    2. Foundations Of Mathematics    3. Logic    4. Mathematics    5. Predicate calculus    6. Science/Mathematics    7. Set Theory    8. Mathematical logic    9. Mathematical theory of computation   

Subjects:  1. Logic    2. Mathematical And Symbolic Logic    3. Mathematics    4. Philosophy Of Mathematics    5. Predicate calculus    6. Science/Mathematics    7. Mathematical logic    8. Philosophy / General   

Subjects:  1. Computer Books: General    2. Computer Books: Operating Systems    3. Computers    4. Computers - Other Applications    5. Logic    6. Logic Design    7. Miscellaneous Software    8. Predicate calculus    9. Programming Language Semantics    10. Programming languages (Electro    11. Programming languages (Electronic computers)    12. Semantics   

Subjects:  1. Calculus    2. Computer algorithms    3. Computer science    4. Congresses    5. Decision making    6. Logic    7. Mathematics    8. Propositional calculus    9. Science/Mathematics    10. Mathematical logic    11. Mathematical theory of computation   

Reviews (4)

Excellent logical system.
While there is currently a variety of logical systems about, Lemmon's is well balanced and fairly intuitive. His approach is to limit his formal system to a few simple rules. The advantage is that it makes his meta-logic much easier, and the reader can grasp the whole system very quickly. The downside it that the system becomes cumbersome when trying to prove more difficult problems. To help simplify the longer proofs, Lemmon provides a list of already proven theorems, which one can substitute into the proof. His approach is elegant, and in my view, successful. While the text tends to be dense, his liberal use of examples clarifies many of the finer points. Still, the reader does have to work at it so I cannot recommend this text to beginning logic students. Davis' "Introduction to Logic" is much more straightforward, and much simpler. However, for serious students of logic, with a solid analytical background, or a good foundation in mathematics, this text provides a very good logical system.

jumping right in the pool
I used this book as part of an independent study of logic.It is dense, so unless you are willing to sit down and study itexhaustively or you have an experienced teacher (as I did), start with something lighter.That said, once I gained some knowledge in the area, the book was a pleasure to use, as Lemmon's precise language made it easier to clarify certain points.The largest drawback to this book is that it doesn't have solutions to its exercises, and these methods are not mechanical-you must know or learn how to make intuitive leaps or you will not be able to solve the problems. davewitt@technologist.com

Excellently comprehensive.
A great book of predicate and simple quantifier logic. VERY complete, includes nice examples in English translation and in logic. It also has practice problems after each section. However, it is dense, and unless youhave someone who can help clarify concepts for you, this book can becomeconfusing and difficult. Overall, a very good logic book. ... Read more

Subjects:  1. Logic    2. Philosophy    3. Predicate calculus    4. Propositional calculus   

Subjects:  1. Applied    2. Computer Mathematics    3. Computer Science    4. Logic    5. Logic, Symbolic and mathematic    6. Logic, Symbolic and mathematical    7. Mathematical And Symbolic Logic    8. Mathematics    9. Science/Mathematics    10. Computers-Computer Science    11. Formal Specification    12. Mathematical logic    13. Mathematical theory of computation    14. Mathematics / Logic    15. Mathematics-Applied    16. Propositional Calculus    17. Resolution    18. Temporal Logic   

Subjects:  1. Mathematics    2. First-order logic    3. Mathematical logic    4. Mathematics / Logic    5. Model Theory    6. Predicate calculus    7. Logic    8. Problems, exercises, etc    9. Science/Mathematics    10. Propositional calculus   

Subjects:  1. First-order logic    2. Logic    3. Logic, Symbolic and mathematic    4. Logic, Symbolic and mathematical    5. Metatheory    6. Philosophy    7. Predicate calculus    8. Set theory   

Subjects:  1. Logic    2. Ontology    3. Predicate calculus   

Subjects:  1. General    2. Language    3. Language Arts & Disciplines    4. Language Arts / Linguistics / Literacy    5. Language and languages    6. Philosophy    7. Pragmatics    8. Predicate calculus    9. Semantics    10. Language Arts & Disciplines / Semantics    11. Philosophy-General    12. Semantics (meaning)   

Subjects:  1. Artificial Intelligence - General    2. Computer Books: General    3. Computer algorithms    4. Computers    5. Decision making    6. Propositional calculus    7. Artificial intelligence    8. c 1990 to c 2000   

Subjects:  1. Modality (Logic)    2. Predicate calculus    3. Tense (Logic)   

Subjects:  1. Children's Baby - Mathematics    2. Logic    3. Mathematical And Symbolic Logic    4. Propositional calculus   

Subjects:  1. Artificial Intelligence - General    2. Automatic theorem proving    3. Computer Bks - Languages / Programming    4. Computer Books: Internet General    5. Computer Logic    6. Computers    7. Computers - Languages / Programming    8. General    9. Kowalski, Robert    10. Logic Design    11. Logic programming    12. Logic programming languages    13. Programming - Object Oriented Programming    14. AI logics    15. Computer Programming    16. Computer architecture & logic design    17. Computers / Artificial Intelligence    18. agent-oriented programming    19. automated reasoning    20. computational logic    21. description logics    22. formal verification    23. knowledge representation    24. predicate calculus    25. prolog    26. proof theory    27. resolution    28. theorem proving   

Subjects:  1. Foundations Of Mathematics    2. Mathematics    3. Ontology    4. Philosophy    5. Predicate calculus    6. Semantics (Philosophy)    7. Metaphysics & ontology   

Subjects:  1. Computer algorithms    2. Congresses    3. Decision making    4. Logic    5. Mathematics    6. Propositional calculus    7. Science/Mathematics    8. Mathematical logic    9. Mathematics / Logic   

Subjects:  1. Predicate calculus    2. Propositional calculus   

Subjects:  1. Database management    2. Logic, Symbolic and mathematical    3. Predicate calculus   

Subjects:  1. Computer programs    2. Logic design    3. Predicate calculus   

Subjects:  1. Decomposition method    2. Normal varieties (Algebraic geometry)    3. Predicate calculus