£78.74

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

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

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

Historical
Generating forecast...
£129.99 £73.62 £85.91 £98.22 £110.52 £122.82 £135.12 10 June 2024 02 November 2024 27 March 2025 19 August 2025 12 January 2026

Price Distribution

Price distribution over 582 days • 4 price ranges

Days at Price
Current Price
2 days · current 500 days 68 days 12 days 0 125 250 375 500 £79-89 £99-109 £109-120 £120-130 Days at Price

Price Analysis

Most common range: £99-109 (500 days, 85.9%)

Price range: £79 - £130

Price levels: 4 price ranges over 582 days

Description

From the point of view of non-classical logics, Heyting's implication is the smallest implication for which the deduction theorem holds. This book studies properties of logical systems having some of the classical connectives and implication in the neighbourhood of Heyt ing's implication. I have not included anything on entailment, al though it belongs to this neighbourhood, mainly because of the appearance of the Anderson-Belnap book on entailment. In the later chapters of this book, I have included material that might be of interest to the intuitionist mathematician. Originally, I intended to include more material in that spirit but I decided against it. There is no coherent body of material to include that builds naturally on the present book. There are some serious results on topological models, second order Beth and Kripke models, theories of types, etc., but it would require further research to be able to present a general theory, possibly using sheaves. That would have postponed pUblication for too long. I would like to dedicate this book to my colleagues, Professors G. Kreisel, M.O. Rabin and D. Scott. I have benefited greatly from Professor Kreisel's criticism and suggestions. Professor Rabin's fun damental results on decidability and undecidability provided the powerful tools used in obtaining the majority of the results reported in this book. Professor Scott's approach to non-classical logics and especially his analysis of the Scott consequence relation makes it possible to present Heyting's logic as a beautiful, integral part of non-classical logics.

Key Features

Semantical Investigations in Heyting s Intuitionistic Logic

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
31 March 1981
Listed Since
12 January 2007

Barcode

No barcode data available

Similar Products You Might Like

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
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
97% match

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Elsevier

£95.00 20 Feb 2026
Lectures on the Curry-Howard Isomorphism
97% match

Lectures on the Curry-Howard Isomorphism

£105.00 10 Jan 2026
Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)
97% match

Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)

Cambridge University Press

£49.98 09 Mar 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
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
97% match

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

Springer

£42.30 21 Feb 2026
Logic and Structure (Universitext)
97% match

Logic and Structure (Universitext)

Springer

£48.08 14 Apr 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
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
Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)
97% match

Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)

Springer

£107.73 13 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)

£53.96 11 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
Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)
97% match

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Springer

£26.57 01 Apr 2026
Ewa Orłowska on Relational Methods in Logic and Computer Science: 17 (Outstanding Contributions to Logic, 17)
97% match

Ewa Orłowska on Relational Methods in Logic and Computer Science: 17 (Outstanding Contributions to Logic, 17)

Springer

£100.88 14 Apr 2026
Logic for Applications (Texts in Computer Science)
97% match

Logic for Applications (Texts in Computer Science)

Springer

£108.11 11 Jan 2026
Logic for Computer Science and Artificial Intelligence
97% match

Logic for Computer Science and Artificial Intelligence

Wiley

£91.11 13 Apr 2026
Logic with Trees: An Introduction to Symbolic Logic
96% match

Logic with Trees: An Introduction to Symbolic Logic

Routledge

£42.95 15 Feb 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
Consequence Relations: An Introduction to the Lindenbaum-Tarski Method (Oxford Logic Guides)
96% match

Consequence Relations: An Introduction to the Lindenbaum-Tarski Method (Oxford Logic Guides)

£90.32 12 Dec 2025
MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)
96% match

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

Oxford University Press

£68.02 17 Mar 2026
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)
96% 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 Mathematicians
96% match

Logic for Mathematicians

Cambridge University Press

£37.68 12 Dec 2025
Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)
96% 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
Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel’s Historic Proof
96% match

Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel’s Historic Proof

Springer

£41.75 29 Jan 2026