£82.14

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

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

Oxford University Press Proof and Disproof in Formal Logic: An Introduction for Programmers: 2 (Oxford Texts in Logic)

View at Amazon

Price History & Forecast

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

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

Historical
Generating forecast…
£82.14 £78.03 £79.68 £81.32 £82.96 £84.60 £86.25 25 July 2026 01 August 2026 09 August 2026 16 August 2026 24 August 2026
View at Amazon ↗

Price data last checked 60 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 31 days • 1 price levels

Days at Price
31 days 0 8 16 23 31 £82 Days at Price

Price Analysis

Most common price: £82 (31 days, 100.0%)

Price range: £82 - £82

Price levels: 1 different prices over 31 days

Description

Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, this text is a lively and entertaining introduction to formal logic and provides an excellent insight into how a simple logic works.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
21 July 2005
Listed Since
22 January 2007

Barcode

No barcode data available

Similar Products You Might Like

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 22 Oct 2026
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
97% match

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

Cambridge University Press

£46.55 12 Sep 2026
Logic for Computer Scientists (Modern Birkhäuser Classics)
96% match

Logic for Computer Scientists (Modern Birkhäuser Classics)

Birkhauser

£50.56 17 Sep 2026
Logic and Philosophy: A Modern Introduction
96% match

Logic and Philosophy: A Modern Introduction

£57.99 30 Sep 2026
Mathematical Logic (Undergraduate Texts in Mathematics)
96% match

Mathematical Logic (Undergraduate Texts in Mathematics)

Springer

£53.99 26 Aug 2026
Mathematical Logic through Python
96% match

Mathematical Logic through Python

Cambridge University Press

£61.99 23 Sep 2026
Elsevier Handbook of Proof Theory - Studies in Logic Vol 137
96% match

Elsevier Handbook of Proof Theory - Studies in Logic Vol 137

Elsevier

£112.69 11 Sep 2026
Linear Logic in Computer Science: 316 (London Mathematical Society Lecture Note Series, Series Number 316)
96% match

Linear Logic in Computer Science: 316 (London Mathematical Society Lecture Note Series, Series Number 316)

Cambridge University Press

£90.00 26 Sep 2026
Mathematical Logic Part 1: Propositional Calculus, Boolean Algebras & Predicate Calculus
96% match

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

Oxford University Press

£76.00 23 Aug 2026
Simple Formal Logic: With Common-Sense Symbolic Techniques
96% match

Simple Formal Logic: With Common-Sense Symbolic Techniques

Routledge

£152.30 02 Oct 2026
Logical Foundations of Proof Complexity (Perspectives in Logic)
96% match

Logical Foundations of Proof Complexity (Perspectives in Logic)

Cambridge University Press

£60.00 08 Sep 2026
Logical Forms: An Introduction to Philosophical Logic
96% match

Logical Forms: An Introduction to Philosophical Logic

Wiley-Blackwell

£116.47 19 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
An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)
96% match

An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)

Cambridge University Press

£93.99 03 Oct 2026
Introduction to Logic and Logical Discourse
96% match

Introduction to Logic and Logical Discourse

Springer

£91.43 12 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
Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size
96% match

Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size

Springer

£61.84 16 Sep 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
Mathematical Logic
96% match

Mathematical Logic

Taylor & Francis

£49.37 01 Oct 2026
Logic Colloquium '02: Lecture Notes in Logic 27
96% match

Logic Colloquium '02: Lecture Notes in Logic 27

A K Peters/CRC Press

£79.05 24 Sep 2026
Sets and Proofs: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 258 (London ... Lecture Note Series, Series Number 258)
96% match

Sets and Proofs: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 258 (London ... Lecture Note Series, Series Number 258)

Cambridge University Press

£69.14 11 Sep 2026
Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)
96% match

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

Cambridge University Press

£68.40 11 Sep 2026
Proof and Computation: 139 (NATO ASI Subseries F:, 139)
96% match

Proof and Computation: 139 (NATO ASI Subseries F:, 139)

Springer

£77.89 18 Sep 2026
Symbolic Logic: Syntax, Semantics, and Proof
96% match

Symbolic Logic: Syntax, Semantics, and Proof

Rowman & Littlefield Publishers

£152.00 02 Oct 2026