Proof Theory (Paperback) (ISBN-13: 9783832533038)

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.

Author: Herman Ruge Jervell
ISBN-10: 3832533036
ISBN-13: 9783832533038
Publisher: Logos Verlag Berlin
Language: English
Published: 01/16/2013
Pages: 129
Format: Paperback