£46.55

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

£47 today · previous high £47 · all-time low £45

Cambridge University Press Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Amazon

Price History & Forecast

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

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

Historical
Generating forecast…
£46.55 £45.25 £45.54 £45.82 £46.10 £46.38 £46.67 26 July 2026 07 August 2026 19 August 2026 31 August 2026 12 September 2026
View at Amazon ↗

Price data last checked 42 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 49 days • 2 price levels

Days at Price
Current Price
16 days 33 days · current 0 8 17 25 33 £46 £47 Days at Price

Price Analysis

Most common price: £47 (33 days, 67.3%)

Price range: £46 - £47

Price levels: 2 different prices over 49 days

Description

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. There are numerous exercises throughout the text. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.

Key Features

Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Product_Type: ABIS_BOOK

Brand: Cambridge University Press

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
12 January 2008
Listed Since
04 January 2007

Barcode

No barcode data available

Similar Products You Might Like

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)
98% match

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Springer

£26.56 29 Sep 2026
Logical Foundations of Proof Complexity (Perspectives in Logic)
98% match

Logical Foundations of Proof Complexity (Perspectives in Logic)

Cambridge University Press

£60.00 08 Sep 2026
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
97% match

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

North Holland

£49.99 11 Sep 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
97% match

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

Springer

£151.20 24 Sep 2026
Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)
97% match

Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)

Cambridge University Press

£68.40 11 Sep 2026
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
97% match

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

Springer

£39.77 09 Sep 2026
Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)
97% match

Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)

Springer

£39.77 02 Oct 2026
Mathematical Logic through Python
97% match

Mathematical Logic through Python

Cambridge University Press

£61.99 23 Sep 2026
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
97% match

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Birkhauser

£46.71 01 Oct 2026
Modern Mathematical Logic (Cambridge Mathematical Textbooks)
97% match

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

Cambridge University Press

£47.74 08 Sep 2026
Logic for Computer Science and Artificial Intelligence
97% match

Logic for Computer Science and Artificial Intelligence

Wiley

£91.12 01 Oct 2026
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
97% match

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Springer

£49.76 11 Sep 2026
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
97% match

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

CRC Press

£91.07 09 Sep 2026
Logic for Computer Scientists (Modern Birkhäuser Classics)
97% match

Logic for Computer Scientists (Modern Birkhäuser Classics)

Birkhauser

£50.56 17 Sep 2026
A First Course in Logic - Oxford Texts in Logic
97% match

A First Course in Logic - Oxford Texts in Logic

Oxford University Press

£66.99 23 Oct 2026
Éléments de mathématiques pour le XXIe siècle, volume 1: Fondements des mathématiques 1 (logique des propositions et des prédicats, systèmes déductifs ... de Peano, structures algébriques de base)
97% match

Éléments de mathématiques pour le XXIe siècle, volume 1: Fondements des mathématiques 1 (logique des propositions et des prédicats, systèmes déductifs ... de Peano, structures algébriques de base)

Paysages Mathématiques

£47.19 03 Sep 2026
Logic and Structure (Universitext)
97% match

Logic and Structure (Universitext)

Springer

£52.79 01 Oct 2026
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics: 21 (Outstanding Contributions to Logic, 21)
97% match

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics: 21 (Outstanding Contributions to Logic, 21)

Springer

£100.11 29 Aug 2026
Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)
97% match

Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)

Cambridge University Press

£49.99 24 Sep 2026
Computational Logic: 165 (NATO ASI Subseries F:, 165)
97% match

Computational Logic: 165 (NATO ASI Subseries F:, 165)

Springer

£108.01 29 Aug 2026
A First Journey through Logic (Student Mathematical Library)
97% match

A First Journey through Logic (Student Mathematical Library)

£44.09 18 Sep 2026
Lectures in Logic and Set Theory: Volume I: Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)
97% match

Lectures in Logic and Set Theory: Volume I: Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)

Cambridge University Press

£50.35 11 Sep 2026
Simple Formal Logic: With Common-Sense Symbolic Techniques
97% match

Simple Formal Logic: With Common-Sense Symbolic Techniques

Routledge

£152.30 02 Oct 2026
Proof Theory: 225 (Grundlehren der mathematischen Wissenschaften, 225)
97% match

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

Springer

£92.22 19 Sep 2026