We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£149.02
This is the most expensive it has ever been. Walk away.
£149 today · previous high £149 · all-time low £137
Springer - A Modern Perspective on Type Theory - Applied Logic
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 78 days · 78 data points (no recent data)
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 78 days • 3 price levels
Price Analysis
Most common price: £138 (55 days, 70.5%)
Price range: £137 - £149
Price levels: 3 different prices over 78 days
Description
Key Features
Part of the Applied Logic Series (Volume 29) published by Springer.
Traces the historical origins of type theory from Frege to the modern era.
Explains the connection between Russell's paradox and the development of type theory.
Covers the application of logic and types in computer science and programming languages.
Provides insights into the design and implementation of theorem provers.
Product Specifications
- Brand
- Springer
- Format
- hardcover
- ASIN
- 1402023340
- Domain
- Amazon UK
- Release Date
- 09 June 2004
- Listed Since
- 09 December 2006
Barcode
No barcode data available
Similar Products You Might Like
A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)
Springer
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
Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel’s Historic Proof
Springer
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)
Springer
Computational Logic: 165 (NATO ASI Subseries F:, 165)
Springer
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work: 39 (Trends in Logic, 39)
Springer
Derivation and Computation: Taking the Curry-Howard Correspondence Seriously: 51 (Cambridge Tracts in Theoretical Computer Science, Series Number 51)
Cambridge University Press
Modal Semirings and Applications (Trends in Logic, 72)
Springer
Proof Theory and Logic Programming: Computation as Proof Search
Cambridge University Press
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
Springer
A Formalization of Set Theory without Variables (Colloquium Publications)
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
Springer
Proof and System-Reliability: v. 62 (NATO Science Series II)
Springer
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer
Louis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts (Publications des Archives Henri Poincaré Publications of the Henri Poincaré Archives)
Birkhauser
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
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
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
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
Springer
Logic from Russell to Church: 5 (Handbook of the History of Logic, Volume 5)
Elsevier
Lectures on the Curry-Howard Isomorphism
Elsevier
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
Springer
Rohit Parikh on Logic, Language and Society: 11 (Outstanding Contributions to Logic, 11)
Springer