Cut Elimination in Categories (Trends in Logic)
Edition: 1 edition
Publisher: Springer
Published: December 31, 1899
Language: eng
Format: Hardcover
Number of pages: 244
ISBN-13: 9780792357209
Subjects: Mathematical logic; Mathematics; Category Theory; Philosophy Of Mathematics; Science/Mathematics; Algebra - Linear; Logic; Mathematics / Logic; Mathematics-Algebra - Linear; Philosophy / Logic; Categories (Mathematics); Geometry - Algebraic; Proof theory