£77.94

Oxford University Press 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)

Price data last checked 14 day(s) ago - will refresh soon

View at Amazon

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

About as cheap as it gets. The only time it was cheaper was 2 months ago.

£78 today · all-time low £75 (May 2026) · usually £80

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

Historical
Generating forecast…
£81.71 £74.63 £76.17 £77.72 £79.26 £80.81 £82.35 26 April 2026 15 May 2026 03 June 2026 22 June 2026 11 July 2026

Price Distribution

Price distribution over 77 days • 6 price levels

Days at Price
Current Price
2 days 25 days · current 15 days 29 days 1 day 5 days 0 7 15 22 29 £75 £78 £79 £80 £81 £82 Days at Price

Price Analysis

Most common price: £80 (29 days, 37.7%)

Price range: £75 - £82

Price levels: 6 different prices over 77 days

Description

The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
08 July 2004
Listed Since
15 February 2007

Barcode

No barcode data available

Similar Products You Might Like

Elementary Logic
97% match

Elementary Logic

Routledge

£136.79 15 Jul 2026
Logic for Computer Scientists (Modern Birkhäuser Classics)
97% match

Logic for Computer Scientists (Modern Birkhäuser Classics)

Birkhauser

£51.67 04 Jul 2026
Mathematical Logic
97% match

Mathematical Logic

Taylor & Francis

£49.33 13 Jul 2026
A First Journey through Logic (Student Mathematical Library)
97% match

A First Journey through Logic (Student Mathematical Library)

£43.35 04 Jul 2026
Logic Colloquium 2000 (hardcover): Lecture Notes in Logic, 19
97% match

Logic Colloquium 2000 (hardcover): Lecture Notes in Logic, 19

A K Peters/CRC Press

£80.47 04 Jul 2026
Simple Formal Logic: With Common-Sense Symbolic Techniques
97% match

Simple Formal Logic: With Common-Sense Symbolic Techniques

Routledge

£129.57 15 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: An Introduction (Fundamentals of Philosophy)
97% match

Logic: An Introduction (Fundamentals of Philosophy)

Routledge

£144.63 13 Jul 2026
Elementary Formal Logic: A Programmed Course: 11 (Routledge Library Editions: Logic)
97% match

Elementary Formal Logic: A Programmed Course: 11 (Routledge Library Editions: Logic)

Routledge

£90.38 13 Jul 2026
Logic and Philosophy: A Modern Introduction
97% match

Logic and Philosophy: A Modern Introduction

£57.99 13 Jul 2026
Logic Colloquium 2007: 35 (Lecture Notes in Logic, Series Number 35)
97% match

Logic Colloquium 2007: 35 (Lecture Notes in Logic, Series Number 35)

Cambridge University Press

£94.37 04 Jul 2026
Mathematical Logic through Python
97% match

Mathematical Logic through Python

Cambridge University Press

£59.65 08 Jul 2026
Linear Logic in Computer Science: 316 (London Mathematical Society Lecture Note Series, Series Number 316)
97% match

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

Cambridge University Press

£84.39 11 Jul 2026
Logic Colloquium '02: Lecture Notes in Logic 27
97% match

Logic Colloquium '02: Lecture Notes in Logic 27

A K Peters/CRC Press

£86.99 09 Jul 2026
Logic for Computer Science and Artificial Intelligence
97% match

Logic for Computer Science and Artificial Intelligence

Wiley

£91.12 14 Jul 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 08 Jul 2026
Models and Computability: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 259 ... Lecture Note Series, Series Number 259)
97% match

Models and Computability: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 259 ... Lecture Note Series, Series Number 259)

Cambridge University Press

£69.99 08 Jul 2026
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)
97% match

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)

Springer

£61.51 09 Jul 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
97% match

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

Springer

£156.31 10 Jul 2026
Routledge - An Introduction to Substructural Logics Book
97% match

Routledge - An Introduction to Substructural Logics Book

Routledge

£140.16 16 Jul 2026