Articles liés à Ordinal Analysis With an Introduction to Proof Theory
Ordinal Analysis With an Introduction to Proof Theory - Couverture rigide
Livre 8 sur 9: Logic in Asia: Studia Logica Library
Synopsis
Introduction.- Calculi for classical logic.- Cut-elimination in depth.- Epsilon numbers.- Iterations.- Collapsings.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l'auteur
Toshiyasu Arai received a PhD from Tsukuba University. His thesis was on an extension of G. Takeuti's consistency proofs.He got positions in Nagoya University, Hiroshima University, Kobe University, Chiba University, and University of Tokyo. His research interest is in proof theory. He received the MSJ Autumn Prize from the Mathematical Society of Japan in 2004 for the research on the Hilbert's second problem.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Ordinal Analysis With an Introduction to Proof Theory
Image d'archives
Ordinal Analysis with an Introduction to Proof The
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEOCT25-16894
Acheter neuf
EUR 82,07
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Ordinal Analysis with an Introduction to Proof Theory (eng)
impression à la demandeVendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 5 sur 5 étoiles
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur 4b230de708bad65869c1292c8cec3ace
Acheter neuf
EUR 86,24
Expédition à EUR 6,80
Expédition depuis Italie vers Etats-Unis
Expédition depuis Italie vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Ordinal Analysis With an Introduction to Proof Theory
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 41779849-n
Acheter neuf
EUR 121,47
Expédition à EUR 2,35
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 15 disponible(s)
Image d'archives
Ordinal Analysis with an Introduction to Proof Theory (Logic in Asia: Studia Logica Library)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9789811564581
Acheter neuf
EUR 121,15
Expédition à EUR 2,67
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Ordinal Analysis With an Introduction to Proof Theory
Edité par
Springer, 2020
ISBN 10 : 9811564582
ISBN 13 : 9789811564581
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 41779849
Acheter D'occasion
EUR 127,21
Expédition à EUR 2,35
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 15 disponible(s)
Image fournie par le vendeur
Ordinal Analysis with an Introduction to Proof Theory
Edité par
Springer Nature Singapore, Springer Nature Singapore Aug 2020, 2020
ISBN 10 : 9811564582
ISBN 13 : 9789811564581
Neuf
Buch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal analysis, a research topic in proof theory that is concerned with the ordinal theoretic content of formal theories. However, the book also addresses ordinal analysis and basic materials in proof theory of first-order or omega logic, presenting some new results and new proofs of known ones. Primarily intended for graduate students and researchers in mathematics, especially in mathematical logic, the book also includes numerous exercises and answers for selected exercises, designed to help readers grasp and apply the main results and techniques discussed. 332 pp. Englisch. N° de réf. du vendeur 9789811564581
Acheter neuf
EUR 106,99
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Ordinal Analysis with an Introduction to Proof Theory
Edité par
Springer Singapore, 2020
ISBN 10 : 9811564582
ISBN 13 : 9789811564581
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Gebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Covers ordinal analysis at an advanced level, and proof theory at an elementary level Approaches ordinal analysis in a contemporary fashionIncludes a wealth of exercises and answers, making it su. N° de réf. du vendeur 373577533
Acheter neuf
EUR 89,99
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Ordinal Analysis with an Introduction to Proof Theory
impression à la demandeVendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal analysis, a research topic in proof theory that is concerned with the ordinal theoretic content of formal theories. However, the book also addresses ordinal analysis and basic materials in proof theory of first-order or omega logic, presenting some new results and new proofs of known ones. Primarily intended for graduate students and researchers in mathematics, especially in mathematical logic, the book also includes numerous exercises and answers for selected exercises, designed to help readers grasp and apply the main results and techniques discussed. N° de réf. du vendeur 9789811564581
Acheter neuf
EUR 121,81
Expédition à EUR 35
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Ordinal Analysis with an Introduction to Proof Theory
impression à la demandeVendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal analysis, a research topic in proof theory that is concerned with the ordinal theoretic content of formal theories. However, the book also addresses ordinal analysis and basic materials in proof theory of first-order or omega logic, presenting some new results and new proofs of known ones.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 332 pp. Englisch. N° de réf. du vendeur 9789811564581
Acheter neuf
EUR 106,99
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Ordinal Analysis with an Introduction to Proof Theory (Logic in Asia: Studia Logica Library)
Vendeur : Books Puddle, Woodside, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur 26378039906
Acheter neuf
EUR 166,20
Expédition à EUR 3,56
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)