We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£110.64
Springer History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290)
Price data last checked 29 day(s) ago - will refresh soon
We'll watch every seller, every day. One email when your price arrives.
About as cheap as it gets. The only time it was cheaper was 3 months ago.
£111 today · all-time low £110 (Jun 2026) · usually £111
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 62 days · 62 data points (no recent data)
Price Distribution
Price distribution over 62 days • 4 price levels
Price Analysis
Most common price: £110 (24 days, 38.7%)
Price range: £110 - £114
Price levels: 4 different prices over 62 days
Description
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 9048154030
- Domain
- Amazon UK
- Release Date
- 07 December 2010
- Listed Since
- 20 September 2010
Barcode
No barcode data available
Similar Products You Might Like
Modern Perspectives in Type-Theoretical Semantics: 98 (Studies in Linguistics and Philosophy, 98)
Springer
Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf: 27 (Logic, Epistemology, and the Unity of Science, 27)
Springer
Topics in Philosophical Logic: 17 (Synthese Library, 17)
Springer
Topics in Philosophical Logic: 17 (Synthese Library, 17)
Springer
Constructive Semantics: Meaning in Between Phenomenology and Constructivism: 44 (Logic, Epistemology, and the Unity of Science, 44)
Springer
The Game of Language: Studies in Game-Theoretical Semantics and Its Applications: 22 (Studies in Linguistics and Philosophy, 22)
Springer
Quantifiers: Logics, Models and Computation: Volume Two: Contributions: 249 (Synthese Library, 249)
Springer
Axiomatic Formal Ontology: 264 (Synthese Library, 264)
Springer
Foundational Theories of Classical and Constructive Mathematics: 76 (The Western Ontario Series in Philosophy of Science, 76)
Springer
Formal Ontology and Conceptual Realism: 339 (Synthese Library, 339)
Springer
The Foundations of Computability Theory
Springer
Structural Proof Theory
Cambridge University Press
Creativity and the Philosophy of C.S. Peirce: 27 (Martinus Nijhoff Philosophy Library, 27)
Springer
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare: 55 (NATO ASI Subseries F:, 55)
Springer
Internal Logic: Foundations of Mathematics from Kronecker to Hilbert: 310 (Synthese Library, 310)
Springer
Logic for Concurrency and Synchronisation: 18 (Trends in Logic, 18)
Springer
Anaphora and Type Logical Grammar: 24 (Trends in Logic, 24)
Springer
Argument Structure:: Representation and Theory: 18 (Argumentation Library, 18)
Springer
Visualization, Explanation and Reasoning Styles in Mathematics: 327 (Synthese Library, 327)
Springer
Categories for Types (Studies in Emotion and Social Interaction)
Cambridge University Press
If Tropes: 308 (Synthese Library, 308)
Springer
Set Theory of the Continuum: 26 (Mathematical Sciences Research Institute Publications, 26)
Springer
Philosophical Logic and Logical Philosophy: 257 (Synthese Library, 257)
Springer
Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001: 3 (Semantics Structures in Computation, 3)
Springer