Here we study the algebraic properties of the proof theory of intuitionist first-order logic in a categorical setting. Our work is based on the confluence of ideas and techniques from proof theory, category theory, and combinatory logic, and this book is addressed to specialists in all three areas. Proof theorists will find that categories give rise to a non-trivial semantics for proof theory in which the concept of the equivalence of proofs can be investigated from a mathematical point of view. Categorists, on the other hand, will find that proof theory provides a suitable syntax in which commutative diagrams can be characterized and classified effectively. Workers in combinatory logic, finally, may derive new insights from the study of algebraic invariance properties of their techniques established in the course of our presentation.
"synopsis" may belong to another edition of this title.
US$ 26.71 shipping from France to U.S.A.
Destination, rates & speedsSeller: Ammareal, Morangis, France
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 2000. Tome 88. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 2000. Volume 88. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-867-826
Quantity: 1 available
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Hardcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 SZA 9780720422863 Sprache: Englisch Gewicht in Gramm: 550. Seller Inventory # 2502782
Quantity: 1 available
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Hardcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 SZA 9780720422863 Sprache: Englisch Gewicht in Gramm: 550. Seller Inventory # 2500064
Quantity: 1 available