£105.00

Lectures on the Curry-Howard Isomorphism

Price data last checked 150 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.

£105 today · cheaper than every other day in the last 24 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 581 days • 581 data points (No recent data available)

Historical
Generating forecast...
£105.00 £99.75 £101.85 £103.95 £106.05 £108.15 £110.25 09 June 2024 01 November 2024 26 March 2025 18 August 2025 10 January 2026

Price Distribution

Price distribution over 581 days • 1 price levels

Days at Price
581 days 0 145 291 436 581 £105 Days at Price

Price Analysis

Most common price: £105 (581 days, 100.0%)

Price range: £105 - £105

Price levels: 1 different prices over 581 days

Description

The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc. The isomorphism has many aspects, even at the syntactic level: formulas correspond to types, proofs correspond to terms, provability corresponds to inhabitation, proof normalization corresponds to term reduction, etc. But there is more to the isomorphism than this. For instance, it is an old idea-due to Brouwer, Kolmogorov, and Heyting-that a constructive proof of an implication is a procedure that transforms proofs of the antecedent into proofs of the succedent; the Curry-Howard isomorphism gives syntactic representations of such procedures. The Curry-Howard isomorphism also provides theoretical foundations for many modern proof-assistant systems (e.g. Coq) This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic. Key features - The Curry-Howard Isomorphism treated as common theme - Reader-friendly introduction to two complementary subjects: Lambda-calculus and constructive logics - Thorough study of the connection between calculi and logics - Elaborate study of classical logics and control operators - Account of dialogue games for classical and intuitionistic logic - Theoretical foundations of computer-assisted reasoning

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
04 April 2013
Listed Since
13 July 2011

Barcode

No barcode data available

Similar Products You Might Like

Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)
99% match

Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)

Elsevier

£107.39 09 Dec 2025
A Philosophical Introduction to Higher-order Logics
97% match

A Philosophical Introduction to Higher-order Logics

£137.28 14 Jan 2026
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
97% match

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Elsevier

£95.00 20 Feb 2026
Computational Logic: 165 (NATO ASI Subseries F:, 165)
97% match

Computational Logic: 165 (NATO ASI Subseries F:, 165)

Springer

£111.23 04 Feb 2026
Semantical Investigations in Heyting's Intuitionistic Logic: 148 (Synthese Library, 148)
97% match

Semantical Investigations in Heyting's Intuitionistic Logic: 148 (Synthese Library, 148)

Springer

£78.74 12 Jan 2026
Springer - A Short Introduction to Intuitionistic Logic Book
97% match

Springer - A Short Introduction to Intuitionistic Logic Book

Springer

£105.83 20 Apr 2026
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
97% match

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

Springer

£41.89 17 Feb 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

£43.24 24 Feb 2026
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
97% match

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

£53.96 11 Jan 2026
Logic with Trees: An Introduction to Symbolic Logic
97% match

Logic with Trees: An Introduction to Symbolic Logic

Routledge

£42.95 15 Feb 2026
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
97% match

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Springer

£103.00 07 Mar 2026
Logic with Trees: An Introduction to Symbolic Logic
97% match

Logic with Trees: An Introduction to Symbolic Logic

Routledge

£133.39 13 Jan 2026
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
97% match

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Birkhauser

£46.53 13 Apr 2026
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)
97% match

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)

£85.45 08 Jan 2026
Logic for Applications (Texts in Computer Science)
97% match

Logic for Applications (Texts in Computer Science)

Springer

£108.11 11 Jan 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
97% match

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

Springer

£157.85 10 Mar 2026
Routledge Logic Works - Introduction to Formal Logic Book
97% match

Routledge Logic Works - Introduction to Formal Logic Book

Routledge

£137.61 12 Apr 2026
Logic from Russell to Church: 5 (Handbook of the History of Logic, Volume 5)
97% match

Logic from Russell to Church: 5 (Handbook of the History of Logic, Volume 5)

North Holland

£163.49 23 Jan 2026
A Short Introduction to Intuitionistic Logic (University Series in Mathematics)
97% match

A Short Introduction to Intuitionistic Logic (University Series in Mathematics)

Springer

£98.51 07 Mar 2026
Logic Works: A Rigorous Introduction to Formal Logic
97% match

Logic Works: A Rigorous Introduction to Formal Logic

Routledge

£52.99 08 Feb 2026
MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)
97% match

MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)

Oxford University Press

£68.02 17 Mar 2026
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
97% match

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

CRC Press

£38.79 17 Feb 2026
Introduction to Mathematical Logic: Extended Edition
97% match

Introduction to Mathematical Logic: Extended Edition

World Scientific Publishing Company

£71.00 26 Feb 2026
60 Years of Connexive Logic: 65 (Trends in Logic, 65)
97% match

60 Years of Connexive Logic: 65 (Trends in Logic, 65)

£96.61 07 Jan 2026