We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£74.11
This is the usual price. Wait for it to drop, or tell us your number.
£74 today · usual range £69–£76 · best ever £69
Cambridge University Press - Type Theory and Formal Proof Book
Price data last checked 27 day(s) ago - will refresh soon
We'll watch every seller, every day. One email when your price arrives.
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 64 days · 64 data points (no recent data)
Price data last checked 27 day(s) ago - will refresh soon
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 Distribution
Price distribution over 64 days • 3 price levels
Price Analysis
Most common price: £70 (60 days, 93.8%)
Price range: £70 - £76
Price levels: 3 different prices over 64 days
Description
Key Features
This book from Cambridge University Press provides a gentle introduction to the fast-evolving field of type theory.
The content is designed for graduate students and researchers studying logic, computer science, and mathematics.
Readers will learn about untyped lambda calculus and several fundamental type systems.
The text includes a detailed look at the powerful Calculus of Constructions.
Study the mathematical machinery, logical rules, and the essential contribution of definitions through well-structured proofs.
Gain knowledge on the essence of proof checking and formal mathematical foundations.
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 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
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
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
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: Monographs in Modern Logic (Routledge Revivals)
Routledge
Hiroakira Ono on Substructural Logics: 23 (Outstanding Contributions to Logic, 23)
Springer
Cambridge Practical Foundations of Mathematics - Book 59
Cambridge University Press
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
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
Category Theory Using Haskell: An Introduction with Moggi and Yoneda (Computer Science Foundations and Applied Logic)
Birkhauser
Type-Logical Semantics (Language, Speech, and Communication)
MIT Press
Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
Springer