£64.39

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

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

View at Amazon

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

This is the usual price. Wait for it to drop, or tell us your number.

£64 today · usual range £0–£0 · best ever £61

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 595 days • 595 data points (No recent data available)

Historical
Generating forecast...
£73.67 £59.26 £62.40 £65.55 £68.69 £71.84 £74.98 10 June 2024 05 November 2024 03 April 2025 29 August 2025 25 January 2026

Price Distribution

Price distribution over 595 days • 7 price levels

Days at Price
Current Price
23 days 20 days 44 days · current 7 days 66 days 128 days 307 days 0 77 154 230 307 £61 £62 £65 £67 £69 £73 £74 Days at Price

Price Analysis

Most common price: £74 (307 days, 51.6%)

Price range: £61 - £74

Price levels: 7 different prices over 595 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

£66.72 17 Mar 2026
Language, Proof and Logic 2e +CD: Second Edition
97% match

Language, Proof and Logic 2e +CD: Second Edition

University of Chicago Press

£52.50 12 Jan 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

£43.24 24 Feb 2026
Mathematical Logic: An Introduction (De Gruyter Textbook)
97% match

Mathematical Logic: An Introduction (De Gruyter Textbook)

£61.17 11 Jan 2026
Logic for Computer Scientists (Modern Birkhäuser Classics)
96% match

Logic for Computer Scientists (Modern Birkhäuser Classics)

Birkhauser

£48.33 27 Feb 2026
Logic and Philosophy: A Modern Introduction
96% match

Logic and Philosophy: A Modern Introduction

£57.99 04 Apr 2026
Mathematical Logic (Undergraduate Texts in Mathematics)
96% match

Mathematical Logic (Undergraduate Texts in Mathematics)

Springer

£53.99 29 Jan 2026
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
96% match

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

Springer

£65.47 13 Jan 2026
Mathematical Logic and Computation
96% match

Mathematical Logic and Computation

£55.89 13 Jan 2026
Fundamentals of Mathematical Logic
96% match

Fundamentals of Mathematical Logic

CRC Press

£110.00 12 Jan 2026
Mathematical Logic through Python
96% match

Mathematical Logic through Python

Cambridge University Press

£55.29 08 Mar 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

£96.93 22 Feb 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

£85.48 18 Mar 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 25 Jan 2026
A Mathematical Introduction To Logic
96% match

A Mathematical Introduction To Logic

£77.99 12 Dec 2025
Simple Formal Logic: With Common-Sense Symbolic Techniques
96% match

Simple Formal Logic: With Common-Sense Symbolic Techniques

Routledge

£128.72 15 Apr 2026
Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)
96% 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

£162.88 11 Jan 2026
Logical Foundations of Proof Complexity (Perspectives in Logic)
96% match

Logical Foundations of Proof Complexity (Perspectives in Logic)

Cambridge University Press

£54.59 15 Feb 2026
Logical Forms: An Introduction to Philosophical Logic
96% match

Logical Forms: An Introduction to Philosophical Logic

Wiley-Blackwell

£113.89 01 Mar 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

£87.39 05 Apr 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

£83.99 19 Apr 2026
A First Course in Logic
96% match

A First Course in Logic

CRC Press

£60.78 09 Jan 2026
Introduction to Logic and Logical Discourse
96% match

Introduction to Logic and Logical Discourse

£91.52 07 Jan 2026
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
96% match

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Cambridge University Press

£94.38 12 Jan 2026