We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£120.96
Springer - Cut Elimination in Categories: 6 (Trends in Logic)
Price data last checked 66 day(s) ago - refreshing...
Price History & Forecast
Last 25 days • 25 data points (No recent data available)
Price Distribution
Price distribution over 25 days • 2 price levels
Price Analysis
Most common price: £121 (22 days, 88.0%)
Price range: £121 - £122
Price levels: 2 different prices over 25 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
Categories
Springer
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Elsevier
Categories, Allegories
North Holland
Birkhauser An Introduction to the Language of Category Theory
Birkhauser
Category Theory (Oxford Logic Guides): 52
Oxford University Press
Category Theory: No. 49 (Oxford Logic Guides)
Category Theory: 52 (Oxford Logic Guides)
Oxford University Press
An Invitation to Applied Category Theory: Seven Sketches in Compositionality
Cambridge University Press
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Displaying Modal Logic: 3 (Trends in Logic, 3)
Springer
Categories for Types (Cambridge Mathematical Textbooks)
Cambridge University Press
Methods of Cut-Elimination: 34 (Trends in Logic, 34)
Springer
2-Dimensional Categories
Oxford University Press
Category Theory And Applications: A Textbook For Beginners (second Edition)
Category Theory and Applications: A Textbook for Beginners: 1 (Category Theory Homological Al)
Scientific Publishing
Mathematical Modelling by Help of Category Theory: Abstract Perspectives on Models and Coupling of Models (Mathematical Engineering)
Proofs and Fundamentals: A First Course in Abstract Mathematics (Undergraduate Texts in Mathematics)
Springer
An Invitation to Applied Category Theory: Seven Sketches in Compositionality
Cambridge University Press
Proofs and Fundamentals: A First Course in Abstract Mathematics: 0 (Undergraduate Texts in Mathematics)
Springer
Higher Dimensional Categories: From Double To Multiple Categories
World Scientific Publishing Company
Combinatorial Set Theory: With a Gentle Introduction to Forcing (Springer Monographs in Mathematics)
First-Order Logic: 43 (Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, 43)
Springer
Displaying Modal Logic: 3 (Trends in Logic, 3)
Springer
Topoi: The Categorial Analysis of Logic (Volume 98) (Studies in Logic and the Foundations of Mathematics, Volume 98)
North Holland