£41.80

Cambridge University Press Cambridge Mathematics of Logic - Completeness Theorems Guide

Price data updated today

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

This is the most expensive it has ever been. Walk away.

£42 today · previous high £42 · all-time low £38

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 History & Forecast

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

Last 91 days · 91 data points

Historical
Generating forecast…
£41.80 £37.93 £38.77 £39.62 £40.46 £41.31 £42.15 13 May 2026 04 June 2026 27 June 2026 19 July 2026 11 August 2026

Price Distribution

Price distribution over 91 days • 5 price levels

Days at Price
Current Price
7 days 2 days 29 days 18 days 35 days · current 0 9 18 26 35 £38 £39 £40 £41 £42 Days at Price

Price Analysis

Most common price: £42 (35 days, 38.5%)

Price range: £38 - £42

Price levels: 5 different prices over 91 days

Description

Master the fundamentals of mathematical logic with this undergraduate textbook from Cambridge University Press. This guide provides a full mathematical account of the Completeness Theorem for first-order logic, serving as a comprehensive resource for a typical first course in the subject. By exploring a series of logical systems that increase in complexity, the book allows students to build their understanding step-by-step. The author proves and discusses the Completeness Theorem for each system, ensuring that the introduction of new concepts remains manageable at every stage. This structured approach helps learners grasp difficult material without feeling overwhelmed. Throughout the text, you will find lively mathematical applications that bring theoretical concepts to life. The writing style focuses on accessibility, keeping unfamiliar terminology to a minimum. This makes it an ideal choice for students who want a clear, mathematical path toward understanding one of the most important results in modern logic.

Key Features

Comprehensive coverage of the Completeness Theorem for first-order logic, providing a full mathematical account for undergraduate students.

Step-by-step learning through a series of logical systems that increase in complexity to build foundational knowledge.

Manageable concept progression that introduces new material at a steady pace to ensure student comprehension.

Lively mathematical applications included throughout the text to demonstrate the practical use of logical theorems.

Accessible writing style that minimizes unfamiliar terminology to help students focus on core mathematical principles.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
12 July 2007
Listed Since
16 February 2007

Barcode

No barcode data available

Similar Products You Might Like

A Course on Set Theory
85% match

A Course on Set Theory

Cambridge University Press

£41.59 11 Jun 2026
LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science (Springer Undergraduate Texts in Philosophy)
83% match

LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science (Springer Undergraduate Texts in Philosophy)

Springer

£36.54 01 Jul 2026
Bounded Arithmetic, Propositional Logic and Complexity Theory: 60 (Encyclopedia of Mathematics and its Applications, Series Number 60)
83% match

Bounded Arithmetic, Propositional Logic and Complexity Theory: 60 (Encyclopedia of Mathematics and its Applications, Series Number 60)

Cambridge University Press

£134.00 06 Aug 2026
Lectures in Logic and Set Theory: Volume 2, Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)
83% match

Lectures in Logic and Set Theory: Volume 2, Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)

Cambridge University Press

£129.28 01 Aug 2026
Cambridge Logical Foundations of Proof Complexity Book
83% match

Cambridge Logical Foundations of Proof Complexity Book

Cambridge University Press

£95.33 10 Aug 2026
A Course in Mathematical Analysis
82% match

A Course in Mathematical Analysis

Cambridge University Press

£39.95 06 Aug 2026
Discrete Maths Software Engineers: An Introduction for Software Engineers
82% match

Discrete Maths Software Engineers: An Introduction for Software Engineers

Cambridge University Press

£41.77 01 Aug 2026
Logics for Computer Science: Classical and Non-Classical
82% match

Logics for Computer Science: Classical and Non-Classical

Springer

£83.06 08 Aug 2026
Structural Proof Theory
82% match

Structural Proof Theory

Cambridge University Press

£94.00 08 Aug 2026
A Model–Theoretic Approach to Proof Theory: 51 (Trends in Logic, 51)
81% match

A Model–Theoretic Approach to Proof Theory: 51 (Trends in Logic, 51)

Springer

£39.84 03 Aug 2026
Matroids: A Geometric Introduction
81% match

Matroids: A Geometric Introduction

Cambridge University Press

£41.28 06 Aug 2026
Acceptable Premises: An Epistemic Approach to an Informal Logic Problem
81% match

Acceptable Premises: An Epistemic Approach to an Informal Logic Problem

Cambridge University Press

£29.70 04 Aug 2026
Programming with Higher-Order Logic
81% match

Programming with Higher-Order Logic

Cambridge University Press

£32.17 05 Aug 2026
Combinatorial Mathematics
80% match

Combinatorial Mathematics

Cambridge University Press

£62.86 21 Jun 2026
Formal Methods in Artificial Intelligence: 6 (Cambridge Tracts in Theoretical Computer Science, Series Number 6)
80% match

Formal Methods in Artificial Intelligence: 6 (Cambridge Tracts in Theoretical Computer Science, Series Number 6)

Cambridge University Press

£41.89 04 Jul 2026
Elements of Logical Reasoning
80% match

Elements of Logical Reasoning

Cambridge University Press

£78.00 06 Aug 2026
Mathematical Methods in Linguistics: 30 (Studies in Linguistics and Philosophy, 30)
80% match

Mathematical Methods in Linguistics: 30 (Studies in Linguistics and Philosophy, 30)

Springer

£188.03 08 Aug 2026
A Mathematical Prelude to the Philosophy of Mathematics
79% match

A Mathematical Prelude to the Philosophy of Mathematics

Springer

£39.77 05 Aug 2026
Handbook of Categorical Algebra: Volume 1, Basic Category Theory: 50 (Encyclopedia of Mathematics and its Applications, Series Number 50)
79% match

Handbook of Categorical Algebra: Volume 1, Basic Category Theory: 50 (Encyclopedia of Mathematics and its Applications, Series Number 50)

Cambridge University Press

£164.39 05 Aug 2026
Calculus
79% match

Calculus

Cambridge University Press

£17.86 30 Jun 2026
Matroids: A Geometric Introduction
79% match

Matroids: A Geometric Introduction

Cambridge University Press

£91.93 08 Aug 2026
Algorithmic Graph Theory
79% match

Algorithmic Graph Theory

Cambridge University Press

£42.75 03 Aug 2026
Political Game Theory: An Introduction
79% match

Political Game Theory: An Introduction

Cambridge University Press

£42.75 14 Jun 2026
The Argument of Mathematics: 30 (Logic, Epistemology, and the Unity of Science, 30)
79% match

The Argument of Mathematics: 30 (Logic, Epistemology, and the Unity of Science, 30)

Springer

£74.74 05 Aug 2026