Items related to The Algebra of Proofs, Vol. 88 (Studies in Logic and...

The Algebra of Proofs, Vol. 88 (Studies in Logic and the Foundations of Mathematics) - Hardcover

 
9780720422863: The Algebra of Proofs, Vol. 88 (Studies in Logic and the Foundations of Mathematics)

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.

Buy Used

Condition: Fine
Ancien livre de bibliothèque. Légères...
View this item

US$ 26.71 shipping from France to U.S.A.

Destination, rates & speeds

Search results for The Algebra of Proofs, Vol. 88 (Studies in Logic and...

Stock Image

Lev D. Beklemishev
ISBN 10: 0720422868 ISBN 13: 9780720422863
Used Hardcover

Seller: Ammareal, Morangis, France

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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

Contact seller

Buy Used

US$ 32.91
Convert currency
Shipping: US$ 26.71
From France to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Szabo, Fred:
ISBN 10: 0720422868 ISBN 13: 9780720422863
Used Hardcover

Seller: Antiquariat Bookfarm, Löbnitz, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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

Contact seller

Buy Used

US$ 183.39
Convert currency
Shipping: US$ 18.99
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Szabo, Fred:
ISBN 10: 0720422868 ISBN 13: 9780720422863
Used Hardcover

Seller: Antiquariat Bookfarm, Löbnitz, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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

Contact seller

Buy Used

US$ 183.39
Convert currency
Shipping: US$ 18.99
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket