We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£94.66
Oxford University Press - Modal Homotopy Type Theory Book
Price data checked 1 day ago
We'll watch every seller, every day. One email when your price arrives.
This is the most expensive it has ever been. Walk away.
£95 today · previous high £95 · all-time low £76
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 90 days · 90 data points
Price Distribution
Price distribution over 90 days • 5 price ranges
Price Analysis
Most common range: £83-87 (28 days, 31.1%)
Price range: £76 - £95
Price levels: 5 price ranges over 90 days
Description
Key Features
Explores modal homotopy type theory as a new foundational language for mathematics and philosophy.
Examines the historical transition from traditional predicate logic to emerging logical systems.
Written by Dr. David Corfield to provide a modern perspective on mathematical logic.
Investigates the strong philosophical pedigree behind recent developments in homotopy type theory.
Published by Oxford University Press for academic and professional study in mathematics and modelling.
Product Specifications
- Brand
- Oxford University Press
- Format
- hardcover
- ASIN
- 0198853408
- Domain
- Amazon UK
- Release Date
- 06 February 2020
- Listed Since
- 23 August 2019
Barcode
No barcode data available
Similar Products You Might Like
Modal Logic: 53 (Cambridge Tracts in Theoretical Computer Science, Series Number 53)
Cambridge University Press
Modalities and Multimodalities: 12 (Logic, Epistemology, and the Unity of Science, 12)
Springer
Springer - Modalities and Multimodalities (Logic, Vol. 12)
Springer
Multi-Dimensional Modal Logic: 4 (Applied Logic Series, 4)
Springer
A Handbook of Model Categories: 27 (Algebra and Applications, 27)
Springer
A Handbook of Model Categories: 27 (Algebra and Applications, 27)
Springer
Logic and the Modalities in the Twentieth Century (Volume 7) (Handbook of the History of Logic, Volume 7)
Elsevier
A New Introduction to Modal Logic
Routledge
Model Categories (Mathematical Surveys and Monographs)
Towards Mathematical Philosophy: Papers from the Studia Logica conference Trends in Logic IV: 28
Springer
Modalities in Medieval Philosophy: 29 (Routledge Library Editions: The Medieval World)
Routledge
ADVANCES IN MODAL LOGIC, VOLUME 3
World Scientific Publishing Company
A New Introduction to Modal Logic
Routledge
Williamson on Modality
Routledge
Categorical Homotopy Theory (New Mathematical Monographs): 24 (New Mathematical Monographs, Series Number 24)
Cambridge University Press
Modal Logic: An Introduction to its Syntax and Semantics
Oxford University Press
Types, Tableaus, and Gödel’s God: 12 (Trends in Logic, 12)
Springer
Introduction to Homotopy Type Theory: 219 (Cambridge Studies in Advanced Mathematics, Series Number 219)
Cambridge University Press
Interpretationen der Modallogik: Ein Beitrag zur Phänomenologischen Wissenschaftstheorie: 145 (Phaenomenologica, 145)
Springer
The Routledge Handbook of Modality (Routledge Handbooks in Philosophy)
Routledge
Many-Dimensional Modal Logics: Theory and Applications (Volume 148) (Studies in Logic and the Foundations of Mathematics, Volume 148)
Elsevier
Williamson on Modality
Routledge
First Steps in Modal Logic
Cambridge University Press
Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis: 444 (Synthese Library, 444)
Springer