We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£113.94
It has never been this cheap. We have no record of a lower price.
£114 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 75 days · 75 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 75 days • 1 price levels
Price Analysis
Most common price: £114 (75 days, 100.0%)
Price range: £114 - £114
Price levels: 1 different prices over 75 days
Description
Key Features
Part of the Synthese Library series, volume 148, a prestigious academic publication sequence.
Focuses on Heyting's implication as the smallest implication for which the deduction theorem holds.
Examines properties of logical systems with classical connectives near Heyting's implication.
Published by Springer, a leading academic and professional publisher.
Designed for intuitionist mathematicians and logic researchers seeking advanced theoretical foundations.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 9048183626
- Category
- Books > Subjects > Reference
- Domain
- Amazon UK
- Release Date
- 25 December 2010
- Listed Since
- 20 September 2010
Barcode
No barcode data available
Similar Products You Might Like
Semantical Investigations in Heyting's Intuitionistic Logic: 148 (Synthese Library, 148)
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
Lectures on the Curry-Howard Isomorphism
Elsevier
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
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
A Short Introduction to Intuitionistic Logic - Springer
Springer
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Elsevier
Logic and Structure (Universitext)
Springer
60 Years of Connexive Logic: 65 (Trends in Logic, 65)
Springer
Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)
Springer
Directions in Relevant Logic: 1 (Reason and Argument, 1)
Springer
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer
Logic with Trees: An Introduction to Symbolic Logic
Routledge
Logic with Trees: An Introduction to Symbolic Logic
Routledge
Logic for Computer Science and Artificial Intelligence
Wiley
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)
Springer
Ewa Orłowska on Relational Methods in Logic and Computer Science: 17 (Outstanding Contributions to Logic, 17)
Springer
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
Springer
Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)
Springer
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
Springer
Mathematical Logic in Asia: Proceedings of the 9th Asian Logic Conference
World Scientific Publishing Company