Proof Theory
Herman Ruge Jervell
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.
Année:
2013
Edition:
1
Editeur::
Logos Verlag Berlin
Langue:
english
Pages:
131
ISBN 10:
3832589996
ISBN 13:
9783832589998
Fichier:
PDF, 461 KB
IPFS:
,
english, 2013
Amazon 
Barnes & Noble 
Bookshop.org
Vous souhaitez ajouter une librairie ? Contactez-nous à support@z-lib.do
Convertissez des fichiers
Plus de résultats de recherche
Autres avantages 
