Articles liés à Proof Theory
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.
Résultats de recherche pour Proof Theory
Image d'archives
Proof theory [Paperback] Jervell, Herman Ruge
Edité par
Logos Verlag, 2013
ISBN 10 : 3832533036
ISBN 13 : 9783832533038
Ancien ou d'occasion
Paperback
Vendeur : The Compleat Scholar, Rochester, NY, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. Paperback showing slight shelf wear - corners lightly bumped, otherwise as new. Pages are clean. No notes or highlighting. N° de réf. du vendeur 16-1104-244-2949
Acheter D'occasion
EUR 21,48
Expédition à EUR 4,74
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Proof Theory
Edité par
Logos Verlag Berlin, 2013
ISBN 10 : 3832533036
ISBN 13 : 9783832533038
Neuf
paperback
Edition originale
Vendeur : ISD LLC, Bristol, CT, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
paperback. Etat : New. 1st. N° de réf. du vendeur 369131
Acheter neuf
EUR 26,85
Expédition à EUR 4,34
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Proof Theory
Edité par
Logos Verlag Berlin, 2013
ISBN 10 : 3832533036
ISBN 13 : 9783832533038
Neuf
Couverture souple
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. 2013. Paperback. . . . . . Books ship from the US and Ireland. N° de réf. du vendeur V9783832533038
Acheter neuf
EUR 70,16
Expédition à EUR 9,12
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Proof Theory
Edité par
Logos Verlag Berlin, 2013
ISBN 10 : 3832533036
ISBN 13 : 9783832533038
Neuf
Couverture souple
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. 2013. Paperback. . . . . . N° de réf. du vendeur V9783832533038
Acheter neuf
EUR 81,02
Expédition à EUR 9,50
Expédition depuis Irlande vers Etats-Unis
Expédition depuis Irlande vers Etats-Unis
Quantité disponible : 2 disponible(s)