We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£109.57
Springer History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290)
Price data checked 5 days ago
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 1 month ago.
£110 today · all-time low £109 (May 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 86 days • 86 data points (No recent data available)
Price Distribution
Price distribution over 86 days • 4 price levels
Price Analysis
Most common price: £111 (60 days, 69.8%)
Price range: £109 - £113
Price levels: 4 different prices over 86 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
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
Axiomatic Formal Ontology: 264 (Synthese Library, 264)
Springer
Formal Ontology and Conceptual Realism: 339 (Synthese Library, 339)
Springer
Structural Proof Theory
Cambridge University Press
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
Founding Mathematics on Semantic Conventions: 446 (Synthese Library, 446)
Springer
Constructive Semantics: Meaning in Between Phenomenology and Constructivism: 44 (Logic, Epistemology, and the Unity of Science, 44)
Springer
Constructivism in Science Education: A Philosophical Examination
Springer
Exercises in Constructive Imagination: 3 (Topoi Library, 3)
Springer
A Mathematical Prelude to the Philosophy of Mathematics
Springer