Proof Theory - Paperback

Name: Proof Theory - Paperback
Brand: BooksCloud
SKU: 9783832533038
Price: 64.80 USD
Availability: OutOfStock

$64.80 USD

Sale Sold out

Shipping calculated at checkout.

Shipping: $8.00 or FREE when you spend $100+

Report copyright infringement

by Herman Ruge Jervell (Author)

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.

Number of Pages: 129

Publication Date: February 19, 2014

View full details

Let customers speak for us

from 10 reviews

Effiicient with prompt transaction

Sandra Bittner

09/07/2026

very nice

Anonymous

08/25/2026

Peace for Each Day, Large Text Leathersoft: 365 Daily Devotions - Leather Book

Great condition & very interesting - thank you

Becky

08/21/2026

Music Spotlight - Tom Petty: The Life & Times Of An American Rock Icon, Stories Behind Hit Songs, Private Moments, American Girl, I Won't Back Down,

No comment i like to much thank you.

JUAN LARA

07/28/2026

Beyond Good and Evil (Royal Collector's Edition) (Case Laminate Hardcover with Jacket) - Hardcover

I really enjoyed the book, it kept my attention, is there any more like it, I love books like that, have lots of them,I would recommend it, it keeps you very interested in it.

Carrie Phillips

06/26/2026

Handful of books has allot of different reading material and a one stop shop for all my reading needs! Love this store!

Heidi Datema

06/11/2026

Great magazine!!!