£42.72

University of Chicago Press Language, Proof and Logic 2e +CD: Second Edition

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

View at Amazon

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

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

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

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

Historical
Generating forecast…
£52.50 £41.74 £44.09 £46.44 £48.78 £51.13 £53.48 29 April 2026 10 May 2026 21 May 2026 01 June 2026 13 June 2026

Price Distribution

Price distribution over 46 days • 3 price levels

Days at Price
Current Price
2 days · current 13 days 31 days 0 8 16 23 31 £43 £48 £53 Days at Price

Price Analysis

Most common price: £53 (31 days, 67.4%)

Price range: £43 - £53

Price levels: 3 different prices over 46 days

Description

This textbook/software package covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. The accompanying online grading service instantly grades solutions to hundreds of computer exercises. The second edition of "Language, Proof and Logic" represents a major expansion and revision of the original package and includes applications for mobile devices, additional exercises, a dedicated website, and increased software compatibility and support.

Key Features

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

Product type: ABIS BOOK

Brand: Brand: Center for the Study of Language and Inf

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 : 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
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
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 07 Jul 2026
Mathematical Logic and Computation
97% match

Mathematical Logic and Computation

Cambridge University Press

£56.75 16 Jun 2026
Springer Mathematical Problems from Applied Logic I - Vol 4
97% match

Springer Mathematical Problems from Applied Logic I - Vol 4

Springer

£68.66 22 Jul 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.10 19 Jun 2026
Logic and Language (Cornerstones of Computing S)
97% match

Logic and Language (Cornerstones of Computing S)

Red Globe Press

£64.54 07 Jul 2026
A Mathematical Introduction To Logic
97% match

A Mathematical Introduction To Logic

Academic Press

£77.99 10 Jun 2026
Logic in Computer Science: Modelling and Reasoning about Systems
97% match

Logic in Computer Science: Modelling and Reasoning about Systems

Cambridge University Press

£47.74 13 Jun 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
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 Language Models For Computer Science (Third Edition)
96% match

Logic And Language Models For Computer Science (Third Edition)

Scientific Publishing

£39.77 11 Jul 2026
Fundamentals of Mathematical Logic
96% match

Fundamentals of Mathematical Logic

CRC Press

£113.24 13 Jun 2026
Logic of Computation: SER F / v.157 (NATO ASI)
96% match

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

Springer

£80.57 04 Jul 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

£172.28 13 Jun 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
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.96 22 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
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

£94.37 04 Jul 2026
Classical Mathematical Logic – The Semantic Foundations of Logic
96% match

Classical Mathematical Logic – The Semantic Foundations of Logic

Princeton University Press

£52.36 27 Jul 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 01 Jul 2026
Mathematical Logic through Python
96% match

Mathematical Logic through Python

Cambridge University Press

£59.65 08 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
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

£66.33 07 Jul 2026