Proof theory - Softcover

Jervell, Herman Ruge

 
9783832533038: Proof theory
Softcover
ISBN 10: 3832533036 ISBN 13: 9783832533038
Verlag: Logos Berlin, 2013

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Logos Berlin
Erscheinungsdatum
2013
Sprache
Englisch
ISBN 10 
3832533036
ISBN 13 
9783832533038
Einband
Taschenbuch
Anzahl der Seiten
129
Kontakt zum Hersteller
Logos Verlag Berlin GmbH
redaktion@logos-verlag.de

Georg-Knorr-Str. 4, Geb. 10
Berlin
12681
Deutschland