We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£65.49
Cambridge University Press Type Theory and Formal Proof: An Introduction
Price data last checked 85 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.
£65 today · previous high £65 · all-time low £64
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 6 days • 6 data points (No recent data available)
Price Distribution
Price distribution over 6 days • 2 price levels
Price Analysis
Most common price: £65 (5 days, 83.3%)
Price range: £64 - £65
Price levels: 2 different prices over 6 days
Description
Product Specifications
- Format
- hardcover
- ASIN
- 110703650X
- Domain
- Amazon UK
- Release Date
- 06 November 2014
- Listed Since
- 23 January 2014
Barcode
No barcode data available
Similar Products You Might Like
Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
Cambridge University Press
Types & Programming Languages (The MIT Press)
MIT Press
Advanced Topics in Types and Programming Languages
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
Isomorphisms of Types: from ?-calculus to information retrieval and language design (Progress in Theoretical Computer Science)
Birkhauser
Introduction to Homotopy Type Theory: 219 (Cambridge Studies in Advanced Mathematics, Series Number 219)
Cambridge University Press
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
Birkhauser
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
Springer
A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)
Springer
A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)
Springer
Categorical Logic and Type Theory: Volume 141 (Studies in Logic and the Foundations of Mathematics, Volume 141)
Elsevier
Lambda-Calculus and Combinators: An Introduction
Cambridge University Press
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
MIT Press
Formal Semantics in Modern Type Theories (Cognitive Science: Logic Linguistics and Computer Science Set, 2)
Wiley
Mathematics in Programming
Springer
Categories for Types (Cambridge Mathematical Textbooks)
Cambridge University Press
Proof and System-Reliability: v. 62 (NATO Science Series II)
Springer
Computational Logic: 165 (NATO ASI Subseries F:, 165)
Springer
The Theory of Logical Types (Routledge Revivals): Monographs in Modern Logic
Routledge
Hiroakira Ono on Substructural Logics: 23 (Outstanding Contributions to Logic, 23)
Springer
Practical Foundations of Mathematics: 59 (Cambridge Studies in Advanced Mathematics, Series Number 59)
Cambridge University Press
Mathematical Logic and Computation
Practical Foundations for Programming Languages
Cambridge University Press
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
Springer