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

£107.39

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

Name: Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)
Brand: Elsevier
Price: 107.39 GBP
Availability: InStock

Information Systems

About as cheap as it gets. The only time it was cheaper was 1 year ago.

£107 today · all-time low £103 (Aug 2024) · usually the usual

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 549 days • 549 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 549 days • 7 price levels

Days at Price

Current Price

Price Analysis

Most common price: £103 (158 days, 28.8%)

Price range: £103 - £109

Price levels: 7 different prices over 549 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 transformsproofs 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 · The Curry-Howard Isomorphism treated as the 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

Brand: Elsevier
Format: hardcover
ASIN: 0444520775
Category: Books > Subjects > Computing & Internet > Computer Science > Information Systems
Domain: Amazon UK
Release Date: 08 July 2006
Listed Since: 06 February 2007

Barcode

No barcode data available

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

About as cheap as it gets. The only time it was cheaper was 1 year ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Lectures on the Curry-Howard Isomorphism

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

Routledge Logic Works - Introduction to Formal Logic Book

Logic Works: A Rigorous Introduction to Formal Logic

Logic for Applications (Texts in Computer Science)

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

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

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

A Philosophical Introduction to Higher-order Logics

Logic for Computer Science and Artificial Intelligence

Springer - A Short Introduction to Intuitionistic Logic Book

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

Oxford University Press - Fragments of First-Order Logic

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

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

Logic with Trees: An Introduction to Symbolic Logic

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Logic with Trees: An Introduction to Symbolic Logic

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

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

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

Logic, Language and Computation: 5 (Applied Logic Series, 5)

Logic for Mathematicians

An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)