We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£113.07
It has never been this cheap. We have no record of a lower price.
£113 today · cheaper than every other day in the last 3 months
Springer Semantical Investigations in Heyting's Intuitionistic Logic
We'll watch every seller, every day. One email when your price arrives.
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 25 days · 25 data points (no recent data)
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
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
name your number, we'll email you
Price Distribution
Price distribution over 25 days • 1 price levels
Price Analysis
Most common price: £113 (25 days, 100.0%)
Price range: £113 - £113
Price levels: 1 different prices over 25 days
Description
Key Features
This Springer publication is part of the Synthese Library, volume 148.
The text examines Heyting's implication as the smallest implication for which the deduction theorem holds.
Research covers logical systems featuring classical connectives and implication near Heyting's implication.
Later chapters include specialized material intended for the intuitionist mathematician.
The book provides a detailed study of properties within non-classical logical systems.
Product Specifications
- Brand
- Springer
- Format
- hardcover
- ASIN
- 9027712026
- Category
- Books > Subjects > Reference
- Domain
- Amazon UK
- Release Date
- 31 March 1981
- Listed Since
- 12 January 2007
Barcode
No barcode data available
Similar Products You Might Like
Semantical Investigations in Heyting's Intuitionistic Logic
Springer
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)
Springer
Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday: 6300 (Lecture Notes in Computer Science, 6300)
Springer
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
Birkhauser
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Elsevier
Lectures on the Curry-Howard Isomorphism
Elsevier
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
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer
Directions in Relevant Logic: 1 (Reason and Argument, 1)
Springer
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
Logic and Structure (Universitext)
Springer
60 Years of Connexive Logic: 65 (Trends in Logic, 65)
Springer
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
Springer
Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)
Springer
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
Springer
A Short Introduction to Intuitionistic Logic - Springer
Springer
Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)
Springer
Ewa Orłowska on Relational Methods in Logic and Computer Science: 17 (Outstanding Contributions to Logic, 17)
Springer
Logic for Applications (Texts in Computer Science)
Springer
Logic for Computer Science and Artificial Intelligence
Wiley
Mathematical Logic in Asia: Proceedings of the 9th Asian Logic Conference
World Scientific Publishing Company
Logic with Trees: An Introduction to Symbolic Logic
Routledge
Logic with Trees: An Introduction to Symbolic Logic
Routledge