£54.95

It has never been this cheap. We have no record of a lower price.

£55 today · cheaper than every other day in the last 3 months

Springer Propositional and Predicate Calculus: A Model of Argument

View at Amazon

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 26 days · 26 data points (no recent data)

Historical
Generating forecast…
£58.82 £54.56 £55.49 £56.42 £57.35 £58.28 £59.21 26 July 2026 01 August 2026 07 August 2026 13 August 2026 20 August 2026
View at Amazon ↗

Price data last checked 65 day(s) ago - refreshing...

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↑ Price chart
when this has been cheap or pricey
↑ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price Distribution

Price distribution over 26 days • 2 price levels

Days at Price
Current Price
16 days · current 10 days 0 4 8 12 16 £55 £59 Days at Price

Price Analysis

Most common price: £55 (16 days, 61.5%)

Price range: £55 - £59

Price levels: 2 different prices over 26 days

Description

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; - 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, 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. Some experience of axiom-based mathematics is required but no previous experience of logic.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
08 September 2005
Listed Since
14 December 2006

Barcode

No barcode data available

Similar Products You Might Like

Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)
97% match

Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)

Oxford University Press

£194.42 14 Aug 2026
Mathematical Logic Part 1: Propositional Calculus, Boolean Algebras & Predicate Calculus
97% match

Mathematical Logic Part 1: Propositional Calculus, Boolean Algebras & Predicate Calculus

Oxford University Press

£76.00 23 Aug 2026
Logical Foundations of Proof Complexity (Perspectives in Logic)
97% match

Logical Foundations of Proof Complexity (Perspectives in Logic)

Cambridge University Press

£60.00 08 Sep 2026
Logic & Natural Language: On Plural Reference and Its Semantic and Logical Significance (Ashgate New Critical Thinking in Philosophy)
97% match

Logic & Natural Language: On Plural Reference and Its Semantic and Logical Significance (Ashgate New Critical Thinking in Philosophy)

Routledge

£163.84 29 Aug 2026
Technical Methods in Philosophy - Logic & Set Theory
96% match

Technical Methods in Philosophy - Logic & Set Theory

Routledge

£121.35 11 Oct 2026
Predicates and Their Subjects: Studies in Linguistics (Springer)
96% match

Predicates and Their Subjects: Studies in Linguistics (Springer)

Springer

£117.92 03 Oct 2026
Predicates and Their Subjects: Springer Linguistics Study 74
96% match

Predicates and Their Subjects: Springer Linguistics Study 74

Springer

£111.53 02 Oct 2026
Mathematical Logic through Python
96% match

Mathematical Logic through Python

Cambridge University Press

£61.99 23 Sep 2026
Logical Foundations of Artificial Intelligence
96% match

Logical Foundations of Artificial Intelligence

Morgan Kaufmann

£49.99 10 Sep 2026
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
96% match

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

North Holland

£49.99 11 Sep 2026
Elementary Formal Logic: A Programmed Course: 11 (Routledge Library Editions: Logic)
96% match

Elementary Formal Logic: A Programmed Course: 11 (Routledge Library Editions: Logic)

Routledge

£93.79 30 Sep 2026
Logic for Mathematicians
96% match

Logic for Mathematicians

Cambridge University Press

£53.82 11 Aug 2026
Proof Theory: 225 (Grundlehren der mathematischen Wissenschaften, 225)
96% match

Proof Theory: 225 (Grundlehren der mathematischen Wissenschaften, 225)

Springer

£92.22 19 Sep 2026
Propositional Logics Third Edition
96% match

Propositional Logics Third Edition

Advanced Reasoning Forum

£41.65 08 Sep 2026
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
96% match

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

CRC Press

£91.07 09 Sep 2026
Boolean Reasoning: The Logic of Boolean Equations - Springer
96% match

Boolean Reasoning: The Logic of Boolean Equations - Springer

Springer

£117.98 09 Oct 2026
Springer R-Calculus, IV: Propositional Logic Book
96% match

Springer R-Calculus, IV: Propositional Logic Book

Springer

£100.00 10 Sep 2026
Protoalgebraic Logics: Trends in Logic Vol. 10 - Springer
96% match

Protoalgebraic Logics: Trends in Logic Vol. 10 - Springer

Springer

£117.08 09 Oct 2026
Probabilistic Extensions of Various Logical Systems
96% match

Probabilistic Extensions of Various Logical Systems

Springer

£75.85 07 Oct 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
96% match

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Springer

£151.20 24 Sep 2026
Natural Language Semantics – Formation and Valuation (The MIT Press)
96% match

Natural Language Semantics – Formation and Valuation (The MIT Press)

MIT Press

£47.30 11 Aug 2026
R-Calculus, IV: Propositional Logic (Perspectives in Formal Induction, Revision and Evolution)
96% match

R-Calculus, IV: Propositional Logic (Perspectives in Formal Induction, Revision and Evolution)

Springer

£103.40 22 Oct 2026
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work: 39 (Trends in Logic, 39)
96% match

Advances in Natural Deduction: A Celebration of Dag Prawitz's Work: 39 (Trends in Logic, 39)

Springer

£92.22 22 Oct 2026
R-CALCULUS: A Logic of Belief Revision (Perspectives in Formal Induction, Revision and Evolution)
96% match

R-CALCULUS: A Logic of Belief Revision (Perspectives in Formal Induction, Revision and Evolution)

Springer

£76.42 04 Oct 2026