We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£56.76
Cambridge University Press Cambridge Higher-Order Categorical Logic - Mathematics Book
Grey
Price data updated today
We'll watch every seller, every day. One email when your price arrives.
Pricier than usual. £3 more than the 30-day average — we'd wait.
£57 today · 30-day average £54 · all-time low £51
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 91 days · 91 data points
Price Distribution
Price distribution over 91 days • 7 price levels
Price Analysis
Most common price: £55 (29 days, 31.9%)
Price range: £51 - £57
Price levels: 7 different prices over 91 days
Description
Key Features
Reconciles mathematical logic and category theory to provide a unified viewpoint on the foundations of mathematics.
Explains the essential relationship between typed lambda-calculi and cartesian closed categories in Part I.
Connects intuitionistic type theories to topos theory for a deeper understanding of higher order logic.
Includes a dedicated section on recursive functions to expand the scope of logical study.
Part of the Cambridge Studies in Advanced Mathematics series for academic rigor and quality.
Product Specifications
- Colour
- Grey
- Format
- paperback
- ASIN
- 0521356539
- Domain
- Amazon UK
- Release Date
- 25 March 1988
- Listed Since
- 04 January 2007
Barcode
No barcode data available
Similar Products You Might Like
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)
Springer
Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)
Cambridge University Press
Derivation and Computation: Taking the Curry-Howard Correspondence Seriously: 51 (Cambridge Tracts in Theoretical Computer Science, Series Number 51)
Cambridge University Press
Mathematical Logic and Computation
Cambridge University Press
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
Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)
Cambridge University Press
Universal Quantification in Categorical Logic Programming: Categorical operational semantics for universal quantification in hereditarily Harrop logic programming
VDM Verlag
An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)
Cambridge University Press
Categorical Logic and Type Theory: Volume 141 (Studies in Logic and the Foundations of Mathematics, Volume 141)
Elsevier
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
Cambridge University Press
Oxford Mathematical Logic - Oxford Texts in Logic 3 Book
Oxford University Press
Lectures on Infinitary Model Theory: 46 (Lecture Notes in Logic, Series Number 46)
Cambridge University Press
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
Springer
Lectures in Logic and Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)
Cambridge University Press
Mathematical Logic in Asia: Proceedings of the 9th Asian Logic Conference
World Scientific Publishing Company
Mathematical Logic: On Numbers, Sets, Structures, and Symmetry: 4 (Springer Graduate Texts in Philosophy, 4)
Springer
Logic and Structure (Universitext)
Springer
Models, Logics, and Higher-Dimensional Categories - AMS Book
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics: 20 (Outstanding Contributions to Logic, 20)
Springer
A Philosophical Introduction to Higher-order Logics
Routledge
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
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer
Mathematical Logic: An Introduction (De Gruyter Textbook)
De Gruyter