Books Online Store Global Online Shopping Center UK | Germany
apparel   jewelry   musical instruments   beauty   health   sports   office  
books   baby   camera   computers   dvd   games   electronics   garden   kitchen   magazines   music   phones   software   tools   toys   video  
 Help  
Books - Science - Mathematics - Pure Mathematics - Predicate & Propositional Calculus

1-20 of 70       1   2   3   4   Next 20
Favorite ListSimple List

click price to see details     click image to enlarge     click link to go to the store

1. Subsystems of Second Order Arithmetic
$73.06
2. Elements of Deductive Inference:
$79.95
3. Predicate Calculus and Program
$156.00
4. Satisfiability Problem: Theory
$16.95
5. Beginning Logic
$42.96
6. Mathematical Logic for Computer
$42.96
7. Propositional and Predicate Calculus:
8. Technical Methods in Philosophy
9. Existence and the Particular Quantifier
$189.00
10. Formal Semantics and Pragmatics
$143.00
11. SAT2000: Highlights of Satisfiability
12. Worlds, Times and Selves
13. Classical Propositional Operators:
$91.00
14. Computational Logic: Logic Programming
15. Ontological Economy: Substitutional
$81.00
16. Theory and Applications of Satisfiability
17. Beginning Logic
18. Transforming logical rules by
19. Meta-logical control for logic
20. An algebraic decomposition method

1. Subsystems of Second Order Arithmetic (Perspectives in Mathematical Logic)
by Springer-Verlag Telos
Hardcover (15 January, 1999)
list price: $64.95
Isbn: 3540648828
Sales Rank: 761764
US | Canada | United Kingdom | Germany | France | Japan

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   


2. Elements of Deductive Inference: An Introduction to Symbolic Logic
by Wadsworth Publishing
Hardcover (02 August, 1999)
list price: $84.95 -- our price: $73.06
(price subject to change: see help)
Isbn: 0534551211
Sales Rank: 417695
US | Canada | United Kingdom | Germany | France | Japan

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   


3. Predicate Calculus and Program Semantics (Texts and Monographs in Computer Science)
by Springer-Verlag
Hardcover (January, 1990)
list price: $79.95 -- our price: $79.95
(price subject to change: see help)
Isbn: 0387969578
Sales Rank: 939627
US | Canada | United Kingdom | Germany | France | Japan

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   


4. Satisfiability Problem: Theory and Applications (Dimacs Series in Discrete Mathematics and Theoretical Computer Science)
by American Mathematical Society
Hardcover (October, 1997)
list price: $156.00 -- our price: $156.00
(price subject to change: see help)
Isbn: 0821804790
Sales Rank: 941132
US | Canada | United Kingdom | Germany | France | Japan

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   


5. Beginning Logic
by Hackett Pub Co Inc
Paperback (June, 1978)
list price: $16.95 -- our price: $16.95
(price subject to change: see help)
Isbn: 0915144506
Sales Rank: 100960
Average Customer Review: 4.5 out of 5 stars
US | Canada | United Kingdom | Germany | France | Japan

Reviews (4)

5-0 out of 5 stars 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.

3-0 out of 5 stars 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

4-0 out of 5 stars 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   


6. Mathematical Logic for Computer Science
by Springer
Paperback (31 January, 2006)
list price: $49.95 -- our price: $42.96
(price subject to change: see help)
Isbn: 1852333197
Sales Rank: 694012
US | Canada | United Kingdom | Germany | France | Japan

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   


7. Propositional and Predicate Calculus: A Model of Argument
by Springer
Paperback (03 August, 2005)
list price: $49.95 -- our price: $42.96
(price subject to change: see help)
Isbn: 1852339217
Sales Rank: 1093212
US | Canada | United Kingdom | Germany | France | Japan

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   


8. Technical Methods in Philosophy (Focus Series)
by Westview Pr (Short Disc)
Paperback (February, 1990)
list price: $16.95
Isbn: 0813378729
Sales Rank: 1463084
US | Canada | United Kingdom | Germany | France | Japan

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   


9. Existence and the Particular Quantifier (Philosophical monographs)
by Temple Univ Pr
Hardcover (February, 1979)
list price: $24.95
Isbn: 0877221308
Sales Rank: 3923022
US | Canada | United Kingdom | Germany | France | Japan

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


10. Formal Semantics and Pragmatics for Natural Languages (Studies in Linguistics and Philosophy)
by Springer
Hardcover (17 October, 2003)
list price: $189.00 -- our price: $189.00
(price subject to change: see help)
Isbn: 9027707782
Sales Rank: 4554897
US | Canada | United Kingdom | Germany | France | Japan

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)   


11. SAT2000: Highlights of Satisfiability Research in the Year 2000 (Frontiers in Artificial Intelligence and Applications, V. 63)
by Ios Pr Inc
Hardcover (January, 2000)
list price: $143.00 -- our price: $143.00
(price subject to change: see help)
Isbn: 1586030612
Sales Rank: 4184410
US | Canada | United Kingdom | Germany | France | Japan

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   


12. Worlds, Times and Selves
by Univ of Massachusetts Pr
Hardcover (May, 1977)
list price: $25.00
Isbn: 0870232274
Sales Rank: 85051
US | Canada | United Kingdom | Germany | France | Japan

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


13. Classical Propositional Operators: An Exercise in the Foundations of Logic(Oxford Logic Guides)
by Oxford University Press, USA
Hardcover (01 April, 1982)
list price: $35.00
Isbn: 0198531737
Sales Rank: 3400097
US | Canada | United Kingdom | Germany | France | Japan

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


14. Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part I (Lecture Notes in Computer Science)
by Springer
Paperback (26 August, 2002)
list price: $91.00 -- our price: $91.00
(price subject to change: see help)
Isbn: 3540439595
Sales Rank: 4080663
US | Canada | United Kingdom | Germany | France | Japan

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   


15. Ontological Economy: Substitutional Quantification and Mathematics(Clarendon Library of Logic and Philosophy)
by Oxford University Press, USA
Hardcover (01 July, 1980)
list price: $42.00
Isbn: 0198244207
Sales Rank: 4228943
US | Canada | United Kingdom | Germany | France | Japan

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


16. Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003Selected Revised Papers (Lecture Notes in Computer Science)
by Springer
Paperback (19 March, 2004)
list price: $81.00 -- our price: $81.00
(price subject to change: see help)
Isbn: 3540208518
Sales Rank: 3589074
US | Canada | United Kingdom | Germany | France | Japan

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   


17. Beginning Logic
by Hackett Pub Co
Paperback (June, 1978)

Isbn: 0686524632
US | Canada | United Kingdom | Germany | France | Japan

Subjects:  1. Predicate calculus    2. Propositional calculus   


18. Transforming logical rules by relational algebra (Technical report. Rutgers University. Department of Computer Science. Laboratory for Computer Science Research)
by Rutgers University
Unknown Binding (1986)

Isbn: B00070RWL8
US | Canada | United Kingdom | Germany | France | Japan

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


19. Meta-logical control for logic programs (Technical report series. New South Wales Institute of Technology. School of Computing Sciences)
by New South Wales Institute of Technology, School of Computing Sciences
Unknown Binding (1985)

Isbn: B0007BIRVQ
US | Canada | United Kingdom | Germany | France | Japan

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


20. An algebraic decomposition method for regular curves (Technical report. Royal Institute of Technology)
by Royal Institute of Technology, Dept. of Numerical Analysis and Computing Science
Unknown Binding (1988)

Isbn: B0007BN9LE
US | Canada | United Kingdom | Germany | France | Japan

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


1-20 of 70       1   2   3   4   Next 20
Prices listed on this site are subject to change without notice.
Questions on ordering or shipping? click here for help.

Top