We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£105.69
Springer Treatise on Intuitionistic Type Theory: 22 (Logic, Epistemology, and the Unity of Science, 22)
Price data last checked 20 day(s) ago - will refresh soon
We'll watch every seller, every day. One email when your price arrives.
This is the most expensive it has ever been. Walk away.
£106 today · previous high £106 · all-time low £105
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 71 days • 71 data points (No recent data available)
Price Distribution
Price distribution over 71 days • 2 price levels
Price Analysis
Most common price: £105 (41 days, 57.7%)
Price range: £105 - £106
Price levels: 2 different prices over 71 days
Description
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 9400736398
- Domain
- Amazon UK
- Publication Date
- 03 August 2013
- Listed Since
- 12 August 2013
Barcode
No barcode data available
Similar Products You Might Like
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers: 3839 (Lecture Notes in Computer Science, 3839)
Springer
History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290)
Springer
Type Theory and Formal Proof: An Introduction
Cambridge University Press
Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
Cambridge University Press
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers: 5497 (Lecture Notes in Computer Science, 5497)
Springer
Advanced Topics in Types and Programming Languages
Extensional Constructs in Intensional Type Theory (Distinguished Dissertations)
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
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
Birkhauser
Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings: 14960 (Lecture Notes in Computer Science, 14960)
Springer
A Short Introduction to Intuitionistic Logic (University Series in Mathematics)
Springer
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)
Springer
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, ... 902 (Lecture Notes in Computer Science, 902)
Springer
Logic Program Synthesis from Incomplete Information: 295 (The Springer International Series in Engineering and Computer Science, 295)
Springer
Springer Recent Advances in Formal Languages and Applications 25
Springer
Limits of Mathematics: A Journey Through the Key Areas of Mathematical Logic: 19 (Mathematics Study Resources, 19)
Springer
Logic Program Synthesis from Incomplete Information: 295 (The Springer International Series in Engineering and Computer Science, 295)
Springer
Birkhauser Semantics of Type Theory - Computer Science Book
Birkhauser
Derivation and Computation: Taking the Curry-Howard Correspondence Seriously: 51 (Cambridge Tracts in Theoretical Computer Science, Series Number 51)
Cambridge University Press
A Guide to Classical and Modern Model Theory: 19 (Trends in Logic, 19)
Springer
Springer Mathematical Problems from Applied Logic I - Vol 4
Springer
A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)
Springer
Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23
CRC Press
A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)
Springer