Proof Theory - Couverture souple

Jervell, Herman Ruge

 
9783832533038: Proof Theory
Couverture souple
ISBN 10 : 3832533036 ISBN 13 : 9783832533038
Editeur : Logos Verlag Berlin GmbH, 2013

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Logos Verlag Berlin GmbH
Date d'édition
2013
Langue
anglais
ISBN 10 
3832533036
ISBN 13 
9783832533038
Reliure
Broché
Nombre de pages
129
Coordonnées du fabricant
non disponible
Personne responsable
non disponible