£82.10

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

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

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.

£82 today · previous high £82 · all-time low £65

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 55 days · 55 data points (no recent data)

Historical
Generating forecast…
£82.10 £63.39 £67.47 £71.55 £75.64 £79.72 £83.80 26 April 2026 09 May 2026 23 May 2026 05 June 2026 19 June 2026

Price Distribution

Price distribution over 55 days • 7 price levels

Days at Price
Current Price
7 days 15 days 12 days 2 days 5 days 11 days 3 days · current 0 4 8 11 15 £65 £67 £68 £69 £74 £78 £82 Days at Price

Price Analysis

Most common price: £67 (15 days, 27.3%)

Price range: £65 - £82

Price levels: 7 different prices over 55 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 : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (Oxford Texts in Logic)
97% match

A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (Oxford Texts in Logic)

Oxford University Press

£77.94 11 Jul 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 03 Jul 2026
Logic for Computer Scientists (Modern Birkhäuser Classics)
96% match

Logic for Computer Scientists (Modern Birkhäuser Classics)

Birkhauser

£51.67 04 Jul 2026
Logic and Philosophy: A Modern Introduction
96% match

Logic and Philosophy: A Modern Introduction

£57.99 13 Jul 2026
Mathematical Logic (Undergraduate Texts in Mathematics)
96% match

Mathematical Logic (Undergraduate Texts in Mathematics)

Springer

£53.99 20 Jun 2026
Mathematical Logic through Python
96% match

Mathematical Logic through Python

Cambridge University Press

£59.65 08 Jul 2026
Handbook of Proof Theory (Volume 137) (Studies in Logic and the Foundations of Mathematics, Volume 137)
96% match

Handbook of Proof Theory (Volume 137) (Studies in Logic and the Foundations of Mathematics, Volume 137)

Elsevier

£113.69 02 Jul 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

£84.39 11 Jul 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 19 Jun 2026
Simple Formal Logic: With Common-Sense Symbolic Techniques
96% match

Simple Formal Logic: With Common-Sense Symbolic Techniques

Routledge

£129.57 15 Jul 2026
Logical Foundations of Proof Complexity (Perspectives in Logic)
96% match

Logical Foundations of Proof Complexity (Perspectives in Logic)

Cambridge University Press

£58.99 29 Jun 2026
Logical Forms: An Introduction to Philosophical Logic
96% match

Logical Forms: An Introduction to Philosophical Logic

Wiley-Blackwell

£117.47 06 Jul 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

£90.38 13 Jul 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

£90.27 16 Jul 2026
Introduction to Logic and Logical Discourse
96% match

Introduction to Logic and Logical Discourse

Springer

£91.42 03 Jul 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 02 Jul 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.83 04 Jul 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
96% match

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

Springer

£156.31 10 Jul 2026
Mathematical Logic
96% match

Mathematical Logic

Taylor & Francis

£49.33 13 Jul 2026
Logic Colloquium '02: Lecture Notes in Logic 27
96% match

Logic Colloquium '02: Lecture Notes in Logic 27

A K Peters/CRC Press

£86.99 09 Jul 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

£52.24 02 Jul 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

£69.39 02 Jul 2026
Proof and Computation: 139 (NATO ASI Subseries F:, 139)
96% match

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

Springer

£77.89 04 Jul 2026
Symbolic Logic: Syntax, Semantics, and Proof
96% match

Symbolic Logic: Syntax, Semantics, and Proof

Rowman & Littlefield Publishers

£152.00 15 Jul 2026