Items related to The Algebra of Proofs, Vol. 88 (Studies in Logic and...
Synopsis
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.
Search results for The Algebra of Proofs, Vol. 88 (Studies in Logic and...
Stock Image
Provability, Computability and Reflection (Volume 88)
Published by
Elsevier Science Publishing Co Inc, 2000
ISBN 10: 0720422868
ISBN 13: 9780720422863
Used
Hardcover
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
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 Image
Algebra of proofs M.E.Szabo. Studies in logic and the foundations of mathematics 88.
Published by
Amsterdam, North-Holland1978 ib80, 1980
ISBN 10: 0720422868
ISBN 13: 9780720422863
Used
Hardcover
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
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 Image
Algebra of proofs M.E.Szabo. Studies in logic and the foundations of mathematics 88.
Published by
Amsterdam a.o., North-Holland1978 ib80, 1980
ISBN 10: 0720422868
ISBN 13: 9780720422863
Used
Hardcover
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
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