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 (Paperback)
Published by
Logos Verlag Berlin GmbH, Berlin, 2013
ISBN 10: 3832533036
ISBN 13: 9783832533038
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783832533038
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
Stock Image
Proof Theory
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 121 pages. 8.25x6.00x0.25 inches. In Stock. Seller Inventory # x-3832533036
Buy New
£ 39.53
£ 10 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
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 (Paperback)
Published by
Logos Verlag Berlin GmbH, Berlin, 2013
ISBN 10: 3832533036
ISBN 13: 9783832533038
New
Paperback
Seller: AussieBookSeller, Truganina, VIC, Australia
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Seller Inventory # 9783832533038