We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£124.26
Springer - Cut Elimination in Categories: 6 (Trends in Logic)
Price data checked 5 days 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.
£124 today · previous high £124 · all-time low £106
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 86 days • 86 data points (No recent data available)
Price Distribution
Price distribution over 86 days • 3 price levels
Price Analysis
Most common price: £106 (68 days, 79.1%)
Price range: £106 - £124
Price levels: 3 different prices over 86 days
Description
Key Features
Systematic explanation of fundamental category theory notions through the lens of proof theory.
Provides a framework where the notion of adjunction is characterized by composition elimination.
Offers syntactical and simple model-theoretical decision procedures for commuting diagrams of arrows.
Includes geometrical decision procedures to assist with the study of arrows and diagrams.
Part of the Trends in Logic, 6 series published by Springer for academic study.
Product Specifications
- Brand
- Springer
- Format
- hardcover
- ASIN
- 0792357205
- Domain
- Amazon UK
- Release Date
- 31 May 1999
- Listed Since
- 15 December 2006
Barcode
No barcode data available
Similar Products You Might Like
Higher Dimensional Categories: From Double To Multiple Categories
World Scientific Publishing Company
Categories, Allegories
North Holland
Category Theory: No. 49 (Oxford Logic Guides)
Oxford University Press
Categories, Allegories (Volume 39) (North-Holland Mathematical Library, Volume 39)
North Holland
Categories for Types (Cambridge Mathematical Textbooks)
Cambridge University Press
From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory: 14 (Logic, Epistemology, and the Unity of Science, 14)
Springer
From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory: 14 (Logic, Epistemology, and the Unity of Science, 14)
Springer
Mathematical Logic: On Numbers, Sets, Structures, and Symmetry: 4 (Springer Graduate Texts in Philosophy, 4)
Springer
Categories for the Working Philosopher
Oxford University Press
A First Course in Category Theory (Universitext)
Springer
Introduction to Higher-Order Categorical Logic: 7 (Cambridge Studies in Advanced Mathematics, Series Number 7)
Cambridge University Press
Categories and Toposes: Visualized and Explained
Birkhauser An Introduction to the Language of Category Theory
Birkhauser
Category Theory: Invariances and Symmetries in Computer Science
De Gruyter
Category Theory: 52 (Oxford Logic Guides)
Oxford University Press
Categories
Springer
An Introduction to Category Theory
Cambridge University Press
Categorical Logic and Type Theory: Volume 141 (Studies in Logic and the Foundations of Mathematics, Volume 141)
Elsevier
Elements of ∞-Category Theory: 194 (Cambridge Studies in Advanced Mathematics, Series Number 194)
Cambridge University Press
Starting Category Theory
World Scientific Publishing Company
Category Theory And Applications: A Textbook For Beginners (second Edition)
World Scientific Publishing Company
Basic Category Theory: 143 (Cambridge Studies in Advanced Mathematics, Series Number 143)
Cambridge University Press
From Categories to Homotopy Theory: 188 (Cambridge Studies in Advanced Mathematics, Series Number 188)
Cambridge University Press
Category Theory (Oxford Logic Guides): 52
Oxford University Press