£52.50

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

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

University of Chicago Press Language, Proof and Logic 2e +CD - University of Chicago Press

View at Amazon

Price History & Forecast

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

Last 89 days · 89 data points

Historical
Generating forecast…
£52.50 £49.88 £50.93 £51.98 £53.03 £54.08 £55.13 25 July 2026 16 August 2026 07 September 2026 29 September 2026 21 October 2026
View at Amazon ↗

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

Days at Price
89 days 0 22 45 67 89 £53 Days at Price

Price Analysis

Most common price: £53 (89 days, 100.0%)

Price range: £53 - £53

Price levels: 1 different prices over 89 days

Description

Language, Proof and Logic 2e +CD provides a comprehensive approach to first-order language suitable for various academic levels. This textbook and software package serves undergraduate students in philosophy, mathematics, and computer science, as well as those in first graduate logic courses. The second edition offers a major expansion of the original material, providing increased software compatibility and support for modern learners. Students benefit from an accompanying online grading service that provides instant results for hundreds of computer exercises. This updated version includes dedicated website access and mobile device applications to facilitate learning. Whether used for introductory logic or advanced study, this package delivers the tools necessary for mastering logical proofs and formal languages.

Key Features

Language, Proof and Logic 2e +CD includes a textbook and software package designed for undergraduate and graduate logic courses.

The package features an online grading service that provides instant grading for hundreds of computer exercises.

This second edition offers expanded content and increased software compatibility and support for users.

Mobile device applications are included to allow for learning and study on the go.

The package provides access to a dedicated website and additional exercises for comprehensive practice.

Published by University of Chicago Press, this resource covers first-order language for philosophy, math, and computer science students.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
07 October 2011
Listed Since
02 June 2011

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
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
Essentials Of Logic Programming (Oxford Science Publications): 1 (Graduate Texts in Computer Science)
97% match

Essentials Of Logic Programming (Oxford Science Publications): 1 (Graduate Texts in Computer Science)

Oxford University Press

£53.00 21 Sep 2026
Cambridge Mathematical Logic and Computation by Jeremy Avigad
97% match

Cambridge Mathematical Logic and Computation by Jeremy Avigad

Cambridge University Press

£56.42 19 Aug 2026
Mathematical Problems from Applied Logic I - Springer
97% match

Mathematical Problems from Applied Logic I - Springer

Springer

£51.37 09 Oct 2026
Proof and Disproof in Formal Logic: An Introduction for Programmers: 2 (Oxford Texts in Logic)
97% match

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

Oxford University Press

£82.14 24 Aug 2026
Logic and Language (Cornerstones of Computing S)
97% match

Logic and Language (Cornerstones of Computing S)

Red Globe Press

£64.57 22 Sep 2026
A Mathematical Introduction To Logic
97% match

A Mathematical Introduction To Logic

Academic Press

£77.99 11 Aug 2026
Cambridge Logic in Computer Science - 2nd Edition Textbook
97% match

Cambridge Logic in Computer Science - 2nd Edition Textbook

Cambridge University Press

£51.69 21 Oct 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
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 Language Models For Computer Science (Third Edition)
96% match

Logic And Language Models For Computer Science (Third Edition)

Scientific Publishing

£37.72 26 Sep 2026
Fundamentals of Mathematical Logic
96% match

Fundamentals of Mathematical Logic

CRC Press

£117.77 16 Aug 2026
Logic of Computation: SER F / v.157 (NATO ASI)
96% match

Logic of Computation: SER F / v.157 (NATO ASI)

Springer

£95.20 17 Sep 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

£194.42 14 Aug 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
Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings: 660 (Lecture Notes in Computer Science, 660)
96% match

Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings: 660 (Lecture Notes in Computer Science, 660)

Springer

£44.98 08 Oct 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
Logic Colloquium 2007: 35 (Lecture Notes in Logic, Series Number 35)
96% match

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

Cambridge University Press

£92.00 17 Sep 2026
Classical Mathematical Logic: The Semantic Foundations of Logic
96% match

Classical Mathematical Logic: The Semantic Foundations of Logic

Princeton University Press

£52.39 14 Oct 2026
Proceedings of the 7th and 8th Asian Logic Conferences
96% match

Proceedings of the 7th and 8th Asian Logic Conferences

World Scientific Publishing Company

£100.00 09 Sep 2026
Mathematical Logic through Python
96% match

Mathematical Logic through Python

Cambridge University Press

£61.99 23 Sep 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
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, ... (Lecture Notes in Computer Science, 3452)
96% match

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, ... (Lecture Notes in Computer Science, 3452)

Springer

£60.87 19 Sep 2026