We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£97.00
Cambridge University Press Derivation and Computation: Taking the Curry-Howard Correspondence Seriously: 51 (Cambridge Tracts in Theoretical Computer Science, Series Number 51)
Price data last checked 44 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
It has never been this cheap. We have no record of a lower price.
£97 today · cheaper than every other day in the last 3 months
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 47 days • 47 data points (No recent data available)
Price Distribution
Price distribution over 47 days • 1 price levels
Price Analysis
Most common price: £97 (47 days, 100.0%)
Price range: £97 - £97
Price levels: 1 different prices over 47 days
Description
Product Specifications
- Format
- hardcover
- ASIN
- 0521771730
- Domain
- Amazon UK
- Release Date
- 18 May 2000
- Listed Since
- 02 February 2007
Barcode
No barcode data available
Similar Products You Might Like
Computational Logic: 165 (NATO ASI Subseries F:, 165)
Springer
Proof and System-Reliability: v. 62 (NATO Science Series II)
Springer
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
Birkhauser
Introduction to Higher-Order Categorical Logic: 7 (Cambridge Studies in Advanced Mathematics, Series Number 7)
Cambridge University Press
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
Springer
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)
Springer
Proof Theory and Logic Programming: Computation as Proof Search
Cambridge University Press
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
Springer
Logic for Mathematicians
Cambridge University Press
Mathematical Logic and Computation
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
Mathematical Logic through Python
Cambridge University Press
Lectures on the Curry-Howard Isomorphism
Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)
Cambridge University Press
A Philosophical Introduction to Higher-order Logics
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work: 39 (Trends in Logic, 39)
Springer
Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday: 6300 (Lecture Notes in Computer Science, 6300)
Springer
Proofs and Computations (Perspectives in Logic)
Cambridge University Press
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Cambridge University Press
Routledge - A Philosophical Introduction to Higher-order Logics
Routledge
Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)
Elsevier
Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles: T 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles
DUNOD
Type Theory and Formal Proof: An Introduction
Cambridge University Press