We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£122.43
About as cheap as it gets — within 5% of the all-time low it hit 1 month ago.
£122 today · all-time low £121 (Sep 2026) · usually the usual
Springer Cut Elimination in Categories - Trends in Logic 6
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 48 days · 48 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 48 days • 3 price levels
Price Analysis
Most common price: £124 (30 days, 62.5%)
Price range: £121 - £124
Price levels: 3 different prices over 48 days
Description
Key Features
This Springer publication is part of the Trends in Logic, volume 6 series.
The text provides a systematic explanation of fundamental category theory notions in terms of proof theory.
It demonstrates how the notion of adjunction can be characterized by composition elimination.
The book offers syntactical and simple model-theoretical and geometrical decision procedures for commuting diagrams of arrows.
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)
Elsevier
Cambridge Categories for Types - 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
Oxford University Press - Categories for the Working Philosopher
Oxford University Press
A First Course in Category Theory (Universitext)
Springer
Cambridge Higher-Order Categorical Logic - Mathematics Book
Cambridge University Press
Categories and Toposes: Visualized and Explained Book
Introduction to Category Theory - Birkhauser Textbook
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
World Scientific Category Theory And Applications Textbook
World Scientific Publishing Company
Basic Category Theory: 143 (Cambridge Studies in Advanced Mathematics, Series Number 143)
Cambridge University Press
From Categories to Homotopy Theory (Cambridge Studies in Advanced Mathematics): 188 (Cambridge Studies in Advanced Mathematics, Series Number 188)
Cambridge University Press
Oxford University Press Category Theory - Oxford Logic Guides
Oxford University Press