We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£113.93
Springer Semantical Investigations in Heyting's Intuitionistic Logic
Price data last checked 74 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
This is the most expensive it has ever been. Walk away.
£114 today · previous high £114 · all-time low £113
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 History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 17 days • 17 data points (No recent data available)
Price Distribution
Price distribution over 17 days • 2 price levels
Price Analysis
Most common price: £113 (16 days, 94.1%)
Price range: £113 - £114
Price levels: 2 different prices over 17 days
Description
Key Features
Part of the Synthese Library (Volume 148), providing a specialized academic foundation for logic research.
Analyzes Heyting's implication as the smallest implication where the deduction theorem holds.
Studies logical systems containing classical connectives in the vicinity of Heyting's implication.
Includes specific material in later chapters designed for the intuitionist mathematician.
Published by Springer, ensuring a standard for academic and professional logic studies.
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
Springer - A Short Introduction to Intuitionistic Logic Book
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