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

£98.51

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

Name: A Short Introduction to Intuitionistic Logic (University Series in Mathematics)
Brand: Springer
Price: 98.56 GBP
Availability: InStock

Computer Science

Price History & Forecast

Last 42 days • 42 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 42 days • 1 price levels

Days at Price

Price Analysis

Most common price: £99 (42 days, 100.0%)

Price range: £99 - £99

Price levels: 1 different prices over 42 days

Description

Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic techniques are presented first for propositional logic; Part II contains extensions to predicate logic. This material provides an introduction and a safe background for reading research literature in logic and computer science as well as advanced monographs. Readers are assumed to be familiar with basic notions of first order logic. One device for making this book short was inventing new proofs of several theorems. The presentation is based on natural deduction. The topics include programming interpretation of intuitionistic logic by simply typed lambda-calculus (Curry-Howard isomorphism), negative translation of classical into intuitionistic logic, normalization of natural deductions, applications to category theory, Kripke models, algebraic and topological semantics, proof-search methods, interpolation theorem. The text developed from materal for several courses taught at Stanford University in 1992-1999.

Product Specifications

Brand: Springer
Format: Hardcover
ASIN: 0306463946
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 31 October 2000
Listed Since: 07 February 2007

Barcode

No barcode data available

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Springer - A Short Introduction to Intuitionistic Logic Book

Mathematical Intuitionism: Introduction to Proof Theory (Translations of Mathematical Monographs)

Logic for Applications (Texts in Computer Science)

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

Lectures on the Curry-Howard Isomorphism

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

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)

Introduction to Logic and Logical Discourse

Introduction to Logic and Logical Discourse

Introduction to Mathematical Logic: Extended Edition

An Introduction to the Language of Mathematics

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

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

Mathematical Logic: An Introduction (De Gruyter Textbook)

Treatise on Intuitionistic Type Theory: 22 (Logic, Epistemology, and the Unity of Science, 22)

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

An Algebraic Introduction to Mathematical Logic: 22 (Graduate Texts in Mathematics, 22)

Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

Logic for Mathematicians

Probability Logics: Probability-Based Formalization of Uncertain Reasoning

Proof Theory: 225 (Grundlehren der mathematischen Wissenschaften, 225)

Propositional and Predicate Calculus: A Model of Argument

Springer - Logical Number Theory I: An Introduction

Intuitionistic Proof Versus Classical Truth: The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics: 42 (Logic, Epistemology, and the Unity of Science, 42)