At the heart of the justification for the reasoning used in modern mathematics lies the completeness theorem for predicate calculus. This unique textbook covers two entirely different ways of looking at such reasoning. Topics include: the representation of mathematical statements by formulas in a formal language; the interpretation of formulas as true or false in a mathematical structure; logical consequence of one formula from others; formal proof; the soundness and completeness theorems connecting logical ...
Read More
At the heart of the justification for the reasoning used in modern mathematics lies the completeness theorem for predicate calculus. This unique textbook covers two entirely different ways of looking at such reasoning. Topics include: the representation of mathematical statements by formulas in a formal language; the interpretation of formulas as true or false in a mathematical structure; logical consequence of one formula from others; formal proof; the soundness and completeness theorems connecting logical consequence and formal proof; the axiomatization of some mathematical theories using a formal language; the compactness theorem and an introduction to model theory. This book is designed for self-study by students, as well as for taught courses, using principles successfully developed by the Open University and used across the world. It includes exercises embedded within the text with full solutions to many of these. In addition there are a number of exercises without answers so that students studying under the guidance of a tutor may be assessed on the basis of what has been taught. Some experience of axiom-based mathematics is required but no previous experience of logic. Propositional and Predicate Calculus gives students the basis for further study of mathematical logic and the use of formal languages in other subjects. Derek Goldrei is Senior Lecturer and Staff Tutor at the Open University and part-time Lecturer in Mathematics at Mansfield College, Oxford, UK.
Read Less
Add this copy of Propositional and Predicate Calculus: a Model of to cart. $32.26, good condition, Sold by Wonder Book - Member ABAA/ILAB rated 5.0 out of 5 stars, ships from Frederick, MD, UNITED STATES, published 2005 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Good condition. A copy that has been read but remains intact. May contain markings such as bookplates, stamps, limited notes and highlighting, or a few light stains.
Add this copy of Propositional and Predicate Calculus: a Model of to cart. $35.44, good condition, Sold by SurplusTextSeller rated 5.0 out of 5 stars, ships from Columbia, MO, UNITED STATES, published 2005 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).
Add this copy of Propositional and Predicate Calculus: a Model of to cart. $37.22, very good condition, Sold by BooksRun rated 4.0 out of 5 stars, ships from Philadelphia, PA, UNITED STATES, published 2005 by Springer.
Add this copy of Propositional and Predicate Calculus: A Model of to cart. $50.24, good condition, Sold by GreatBookPricesUK5 rated 4.0 out of 5 stars, ships from Castle Donington, DERBYSHIRE, UNITED KINGDOM, published 2005 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Trade paperback (US). Glued binding. 315 p. Contains: Unspecified. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.
Add this copy of Propositional and Predicate Calculus: A Model of to cart. $53.35, good condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 2005 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Trade paperback (US). Glued binding. 315 p. Contains: Unspecified. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.
Add this copy of Propositional and Predicate Calculus: A Model of to cart. $57.49, like new condition, Sold by GreatBookPricesUK5 rated 4.0 out of 5 stars, ships from Castle Donington, DERBYSHIRE, UNITED KINGDOM, published 2005 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Trade paperback (US). Glued binding. 315 p. Contains: Unspecified. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Propostitional and Predicate Calculs (Pb 2005) to cart. $63.76, new condition, Sold by Books International rated 3.0 out of 5 stars, ships from Toronto, ON, CANADA, published 2005 by Springer.
Add this copy of Propositional and Predicate Calculus: A Model of to cart. $65.71, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2005 by Springer.
Add this copy of Propositional and Predicate Calculus: A Model of to cart. $65.96, new condition, Sold by GreatBookPricesUK5 rated 4.0 out of 5 stars, ships from Castle Donington, DERBYSHIRE, UNITED KINGDOM, published 2005 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Trade paperback (US). Glued binding. 315 p. Contains: Unspecified. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Propositional and Predicate Calculus: A Model of to cart. $66.02, like new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 2005 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Trade paperback (US). Glued binding. 315 p. Contains: Unspecified. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
