£98.51

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

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

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

Historical
Generating forecast...
£116.61 £96.70 £101.04 £105.39 £109.73 £114.08 £118.42 10 June 2024 15 November 2024 23 April 2025 29 September 2025 07 March 2026

Price Distribution

Price distribution over 636 days • 7 price levels

Days at Price
Current Price
113 days · current 21 days 27 days 77 days 362 days 31 days 5 days 0 91 181 272 362 £99 £106 £107 £108 £110 £113 £117 Days at Price

Price Analysis

Most common price: £110 (362 days, 56.9%)

Price range: £99 - £117

Price levels: 7 different prices over 636 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

Format
Hardcover
Domain
Amazon UK
Release Date
31 October 2000
Listed Since
07 February 2007

Barcode

No barcode data available

Similar Products You Might Like

Springer - A Short Introduction to Intuitionistic Logic Book
98% match

Springer - A Short Introduction to Intuitionistic Logic Book

Springer

£105.83 20 Apr 2026
An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)
97% match

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

Cambridge University Press

£83.99 19 Apr 2026
Mathematical Intuitionism: Introduction to Proof Theory (Translations of Mathematical Monographs)
97% match

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

£86.50 17 Apr 2026
Mathematical Logic: An Introduction (De Gruyter Textbook)
97% match

Mathematical Logic: An Introduction (De Gruyter Textbook)

£61.17 11 Jan 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
Mathematical Logic through Python
97% match

Mathematical Logic through Python

Cambridge University Press

£55.29 08 Mar 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
Introduction to Logic and Logical Discourse
97% match

Introduction to Logic and Logical Discourse

Springer

£89.88 25 Feb 2026
Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)
97% match

Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)

£52.43 11 Jan 2026
Routledge - An Introduction to Substructural Logics Book
97% match

Routledge - An Introduction to Substructural Logics Book

Routledge

£137.61 20 Apr 2026
Introduction to Logic and Logical Discourse
97% match

Introduction to Logic and Logical Discourse

£91.52 07 Jan 2026
Mathematical Logic and Computation
97% match

Mathematical Logic and Computation

£55.89 13 Jan 2026
Proof Theory: 225 (Grundlehren der mathematischen Wissenschaften, 225)
97% match

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

Springer

£96.75 01 Mar 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
Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)
97% 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
An Introduction to Logic: The Criticism of Arguments: 3 (Routledge Library Editions: Logic)
97% match

An Introduction to Logic: The Criticism of Arguments: 3 (Routledge Library Editions: Logic)

Routledge

£106.83 28 Feb 2026
Admissibility of Logical Inference Rules (Volume 136) (Studies in Logic and the Foundations of Mathematics, Volume 136)
97% match

Admissibility of Logical Inference Rules (Volume 136) (Studies in Logic and the Foundations of Mathematics, Volume 136)

North Holland

£120.00 18 Feb 2026
Lectures on the Curry-Howard Isomorphism
97% match

Lectures on the Curry-Howard Isomorphism

£105.00 10 Jan 2026
Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)
96% match

Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)

CRC Press

£85.00 07 Dec 2025
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

£61.99 22 Feb 2026
Logic for Computer Science and Artificial Intelligence
96% match

Logic for Computer Science and Artificial Intelligence

Wiley

£91.11 13 Apr 2026
Computational Logic: 165 (NATO ASI Subseries F:, 165)
96% match

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

Springer

£111.23 04 Feb 2026
Logic and Structure (Universitext)
96% match

Logic and Structure (Universitext)

Springer

£48.08 14 Apr 2026
Logic with Trees: An Introduction to Symbolic Logic
96% match

Logic with Trees: An Introduction to Symbolic Logic

Routledge

£133.39 13 Jan 2026