£98.51

It has never been this cheap. We have no record of a lower price.

£99 today · cheaper than every other day in the last 3 months

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

View at Amazon

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 61 days · 61 data points (no recent data)

Historical
Generating forecast…
£98.51 £93.58 £95.55 £97.52 £99.50 £101.47 £103.44 25 July 2026 09 August 2026 24 August 2026 08 September 2026 23 September 2026
View at Amazon ↗

Price data last checked 30 day(s) ago - will refresh soon

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 Distribution

Price distribution over 61 days • 1 price levels

Days at Price
61 days 0 15 31 46 61 £99 Days at Price

Price Analysis

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

Price range: £99 - £99

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

A Short Introduction to Intuitionistic Logic - Springer
98% match

A Short Introduction to Intuitionistic Logic - Springer

Springer

£113.94 03 Oct 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

£93.99 03 Oct 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 02 Oct 2026
Mathematical Logic through Python
97% match

Mathematical Logic through Python

Cambridge University Press

£61.99 23 Sep 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
97% match

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

Springer

£151.20 24 Sep 2026
Introduction to Logic and Logical Discourse
97% match

Introduction to Logic and Logical Discourse

Springer

£91.43 12 Sep 2026
An Introduction to Substructural Logics - Routledge
97% match

An Introduction to Substructural Logics - Routledge

Routledge

£151.26 03 Oct 2026
Proof Theory: 225 (Grundlehren der mathematischen Wissenschaften, 225)
97% match

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

Springer

£92.22 19 Sep 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

£46.55 12 Sep 2026
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

£111.66 18 Sep 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)

Elsevier

£120.00 10 Sep 2026
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

£68.40 11 Sep 2026
Logic for Computer Science and Artificial Intelligence
96% match

Logic for Computer Science and Artificial Intelligence

Wiley

£91.12 01 Oct 2026
Logic and Structure (Universitext)
96% match

Logic and Structure (Universitext)

Springer

£52.79 01 Oct 2026
Logic with Trees: An Introduction to Symbolic Logic
96% match

Logic with Trees: An Introduction to Symbolic Logic

Routledge

£45.99 08 Sep 2026
Introducing Symbolic Logic
96% match

Introducing Symbolic Logic

Broadview Press Inc

£42.50 03 Oct 2026
Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size
96% match

Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size

Springer

£61.84 16 Sep 2026
An Introduction to Substructural Logics
96% match

An Introduction to Substructural Logics

Routledge

£40.99 30 Sep 2026
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
96% match

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

Birkhauser

£46.71 01 Oct 2026
Propositional Logics Third Edition
96% match

Propositional Logics Third Edition

Advanced Reasoning Forum

£41.65 08 Sep 2026
Hybrid Logic and its Proof-Theory: 37 (Applied Logic Series, 37)
96% match

Hybrid Logic and its Proof-Theory: 37 (Applied Logic Series, 37)

Springer

£75.56 18 Sep 2026
A First Course in Logic - Oxford Texts in Logic
96% match

A First Course in Logic - Oxford Texts in Logic

Oxford University Press

£66.99 22 Oct 2026
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
96% match

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

Springer

£39.77 09 Sep 2026