Price loading...

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

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

View at Amazon

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

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

New Store Stock

Product Specifications
Brand
University of Chicago Press
Format
paperback
ASIN
1575866323
Category
Books > Subjects > Computing & Internet > Computer Science
Domain
Amazon UK
Release Date
07 October 2011
Listed Since
02 June 2011

Barcode

No barcode data available

Similar Products You Might Like

Logic in Computer Science: Modelling and Reasoning about Systems
92% match

Logic in Computer Science: Modelling and Reasoning about Systems

£50.59 11 Jan 2026
A Mathematical Introduction To Logic
91% match

A Mathematical Introduction To Logic

£77.99 12 Dec 2025
Proof and Disproof in Formal Logic: An Introduction for Programmers: 2 (Oxford Texts in Logic)
91% match

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

Oxford University Press

£64.39 25 Jan 2026
Introduction to Logic and Logical Discourse
91% match

Introduction to Logic and Logical Discourse

£91.52 07 Jan 2026
Introduction to Logic and Logical Discourse
91% match

Introduction to Logic and Logical Discourse

Springer

£89.88 25 Feb 2026
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)
91% 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
The Art of Prolog, second edition: Advanced Programming Techniques (Logic Programming)
90% match

The Art of Prolog, second edition: Advanced Programming Techniques (Logic Programming)

MIT Press

£75.52 12 Jan 2026
Logic and Language Models for Computer Science: Third Edition
90% match

Logic and Language Models for Computer Science: Third Edition

Scientific Publishing

£56.56 13 Apr 2026
Meaning and Grammar, second edition: An Introduction to Semantics
90% match

Meaning and Grammar, second edition: An Introduction to Semantics

MIT Press

£51.00 12 Jan 2026
A First Course in Logic
90% match

A First Course in Logic

CRC Press

£60.78 09 Jan 2026
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
90% match

Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Cambridge University Press

£43.24 24 Feb 2026
Modal Logic for Philosophers
90% match

Modal Logic for Philosophers

Cambridge University Press

£89.79 12 Jan 2026
Logic and Language (Cornerstones of Computing S)
90% match

Logic and Language (Cornerstones of Computing S)

Red Globe Press

£63.99 05 Mar 2026
Sweet Reason: A Field Guide to Modern Logic, 2nd Edition
90% match

Sweet Reason: A Field Guide to Modern Logic, 2nd Edition

Wiley-Blackwell

£53.69 06 Mar 2026
Introduction to Mathematical Logic: Extended Edition
90% match

Introduction to Mathematical Logic: Extended Edition

World Scientific Publishing Company

£71.00 26 Feb 2026
Category Theory (Oxford Logic Guides): 52
90% match

Category Theory (Oxford Logic Guides): 52

Oxford University Press

£59.80 12 Jan 2026
Language and Logics: An Introduction to the Logical Foundations of Language (Edinburgh Advanced Textbooks in Linguistics Eup)
90% match

Language and Logics: An Introduction to the Logical Foundations of Language (Edinburgh Advanced Textbooks in Linguistics Eup)

Edinburgh University Press

£75.00 28 Feb 2026
The Calculus of Computation: Decision Procedures with Applications to Verification
90% match

The Calculus of Computation: Decision Procedures with Applications to Verification

Springer

£59.19 11 Feb 2026
Essentials Of Logic Programming (Oxford Science Publications): 1 (Graduate Texts in Computer Science)
90% match

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

Oxford University Press

£53.00 05 Mar 2026
Mathematical Logic: On Numbers, Sets, Structures, and Symmetry: 4 (Springer Graduate Texts in Philosophy, 4)
90% match

Mathematical Logic: On Numbers, Sets, Structures, and Symmetry: 4 (Springer Graduate Texts in Philosophy, 4)

Springer

£64.25 24 Feb 2026
Logic: The Laws of Truth
90% match

Logic: The Laws of Truth

Princeton University Press

£36.82 25 Jan 2026
Proof and Disproof in Formal Logic: An Introduction For Programmers (Oxford Texts In Logic): 2
90% match

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

Oxford University Press

£64.80 10 Jan 2026
Category Theory: 52 (Oxford Logic Guides)
90% match

Category Theory: 52 (Oxford Logic Guides)

Oxford University Press

£142.33 09 Dec 2025
Proofs and Fundamentals: A First Course in Abstract Mathematics (Undergraduate Texts in Mathematics)
90% match

Proofs and Fundamentals: A First Course in Abstract Mathematics (Undergraduate Texts in Mathematics)

Springer

£46.37 16 Feb 2026