£93.82

Oxford University Press A First Course in Logic - Oxford Texts in Logic

Price data checked 1 day ago

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.

£94 today · previous high £94 · all-time low £58

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 90 days · 90 data points

Historical
Generating forecast…
£93.82 £53.88 £62.59 £71.31 £80.02 £88.74 £97.45 08 July 2026 30 July 2026 21 August 2026 12 September 2026 05 October 2026

Price Distribution

Price distribution over 90 days • 5 price ranges

Days at Price
Current Price
5 days 5 days 24 days 23 days 33 days · current 0 8 17 25 33 £58-65 £65-72 £72-79 £79-87 £87-94 Days at Price

Price Analysis

Most common range: £87-94 (33 days, 36.7%)

Price range: £58 - £94

Price levels: 5 price ranges over 90 days

Description

This comprehensive introduction to logic covers the fundamental topics essential for mathematics, computer science, and philosophy students. Written by an author with extensive teaching experience at the University of Maryland, the text presents classical logic in an exceptionally clear and accessible style. The book progresses through propositional logic, first-order logic, and second-order logic, alongside proof theory, computability theory, and model theory. Each topic is explained with thorough accuracy and supported by carefully graded exercises that reinforce learning at every stage. The structured approach makes complex logical concepts approachable for beginners whilst maintaining the depth and rigour required by advanced learners. Published by Oxford University Press as part of the Oxford Texts in Logic series, this volume serves as an ideal foundational text for undergraduate and graduate coursework in logic, formal reasoning, and computational theory.

Key Features

Covers propositional logic, first-order logic, and second-order logic with detailed explanations and applications.

Includes proof theory and computability theory alongside model theory for comprehensive logical foundations.

Contains numerous carefully graded exercises designed to build understanding progressively.

Written in an exceptionally clear and thorough style accessible to mathematics, computer science, and philosophy students.

Part of the Oxford Texts in Logic series, providing peer-reviewed academic rigor from Oxford University Press.

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

£171.99 01 Oct 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
Mathematical Logic
97% match

Mathematical Logic

Taylor & Francis

£49.37 01 Oct 2026
A First Journey through Logic (Student Mathematical Library)
97% match

A First Journey through Logic (Student Mathematical Library)

£44.09 18 Sep 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

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

Logic: An Introduction (Fundamentals of Philosophy)

Routledge

£151.26 30 Sep 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

£93.79 30 Sep 2026
Logic and Philosophy: A Modern Introduction
97% match

Logic and Philosophy: A Modern Introduction

£57.99 30 Sep 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

£92.00 17 Sep 2026
Mathematical Logic through Python
97% match

Mathematical Logic through Python

Cambridge University Press

£61.99 23 Sep 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

£90.00 26 Sep 2026
Logic Colloquium '02: Lecture Notes in Logic 27
97% match

Logic Colloquium '02: Lecture Notes in Logic 27

A K Peters/CRC Press

£79.05 24 Sep 2026
Logic for Computer Science and Artificial Intelligence
97% match

Logic for Computer Science and Artificial Intelligence

Wiley

£91.12 01 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
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 22 Sep 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

£62.16 23 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
An Introduction to Substructural Logics - Routledge
97% match

An Introduction to Substructural Logics - Routledge

Routledge

£151.26 03 Oct 2026