Items related to Proof Theory
Synopsis
In proof theory we investigate the objects used for computations and arguments in computer science and mathematics. Our starting point is the classical analysis given by Gerhard Gentzen in the 1930s. We develop this further using a new theory of ordinal notation and connecting this with combinatorics on finite trees.
"synopsis" may belong to another edition of this title.
Search results for Proof Theory
Stock Image
Proof theory [Paperback] Jervell, Herman Ruge
Seller: The Compleat Scholar, Rochester, NY, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Paperback showing slight shelf wear - corners lightly bumped, otherwise as new. Pages are clean. No notes or highlighting. Seller Inventory # 16-1104-244-2949
Stock Image
Proof Theory
Published by
Logos Verlag Berlin, 2013
ISBN 10: 3832533036
ISBN 13: 9783832533038
New
paperback
First Edition
Seller: ISD LLC, Bristol, CT, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: New. 1st. Seller Inventory # 369131
Stock Image
Proof Theory
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. 2013. Paperback. . . . . . Books ship from the US and Ireland. Seller Inventory # V9783832533038
Stock Image
Proof Theory
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. 2013. Paperback. . . . . . Seller Inventory # V9783832533038