Articles liés à Advances in Proof Theory
Synopsis
W. Buchholz: A survey on ordinal notations around the Bachmann-Howard ordinal.- A. Cantini: About truth and types.- R. Dyckhoff: Intuitionistic decision procedures since Gentzen.- S. Feferman: The operational perspective.- R. Gore: Formally verified proof-theory using Isabelle/HOL.- P. Minari: Analytic equational proof systems for combinatory logic and lambda calculus.- W. Pohlers: From subsystems of classical analysis to subsystems of set theory - a personal account.- M. Rathjen: Ordinal analysis and witness extraction.- P. Schuster: Logic completeness via open induction.- H. Schwichtenberg: On the computational content of Higman's lemma.- P. Schroeder-Heister: TBA.- A. Setzer: TBA.- S. Wainer: On weak "pointwise" induction, and a miniaturized predicativity.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 91,28
Gratuit expédition depuis Etats-Unis vers France
Destinations, frais et délais
Résultats de recherche pour Advances in Proof Theory
Image d'archives
ADVANCES IN PROOF THEORY
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N° de réf. du vendeur ABNR-241642
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Advances in Proof Theory
Edité par
Springer International Publishing, 2016
ISBN 10 : 3319291963
ISBN 13 : 9783319291963
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book contains state-of-the-art contributions to various topics in Proof TheoryThe papers range from traditional mathematical proof theory via constructive mathematics to applications in computer science  This volume is dedicated t. N° de réf. du vendeur 109484074
Quantité disponible : Plus de 20 disponibles
Image d'archives
Advances in Proof Theory (Progress in Computer Science and Applied Logic)
Edité par
Springer (India) Private Limited, 2016
ISBN 10 : 3319291963
ISBN 13 : 9783319291963
Neuf
Couverture rigide
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 425. N° de réf. du vendeur 26375076242
Quantité disponible : 4 disponible(s)
Image d'archives
Advances in Proof Theory (Progress in Computer Science and Applied Logic)
Edité par
Springer (India) Private Limited, 2016
ISBN 10 : 3319291963
ISBN 13 : 9783319291963
Neuf
Couverture rigide
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 425. N° de réf. du vendeur 372017741
Quantité disponible : 4 disponible(s)
Image d'archives
Advances in Proof Theory (Progress in Computer Science and Applied Logic)
Edité par
Springer (India) Private Limited, 2016
ISBN 10 : 3319291963
ISBN 13 : 9783319291963
Neuf
Couverture rigide
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 425. N° de réf. du vendeur 18375076248
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Advances in Proof Theory
Edité par
Springer International Publishing, 2016
ISBN 10 : 3319291963
ISBN 13 : 9783319291963
Neuf
Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations. The volume is dedicated to the 60th birthday of Professor Gerhard Jäger, who has been instrumental in shaping and promoting logic in Switzerland for the last 25 years. It comprises contributions from the symposium 'Advances in Proof Theory', which was held in Bern in December 2013. Proof theory came into being in the twenties of the last century, when it was inaugurated by David Hilbert in order to secure the foundations of mathematics. It was substantially influenced by Gödel's famous incompleteness theorems of 1930 and Gentzen's new consistency proof for the axiom system of first order number theory in 1936. Today, proof theory is a well-established branch of mathematical and philosophical logic and one of the pillars of the foundations of mathematics. Proof theory explores constructive and computational aspects of mathematical reasoning; it is particularly suitable for dealing with various questions in computer science. N° de réf. du vendeur 9783319291963
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Advances in Proof Theory
Edité par
Springer International Publishing Mai 2016, 2016
ISBN 10 : 3319291963
ISBN 13 : 9783319291963
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 -The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations. The volume is dedicated to the 60th birthday of Professor Gerhard Jäger, who has been instrumental in shaping and promoting logic in Switzerland for the last 25 years. It comprises contributions from the symposium 'Advances in Proof Theory', which was held in Bern in December 2013. Proof theory came into being in the twenties of the last century, when it was inaugurated by David Hilbert in order to secure the foundations of mathematics. It was substantially influenced by Gödel's famous incompleteness theorems of 1930 and Gentzen's new consistency proof for the axiom system of first order number theory in 1936. Today, proof theory is a well-established branch of mathematical and philosophical logic and one of the pillars of the foundations of mathematics. Proof theory explores constructive and computational aspects of mathematical reasoning; it is particularly suitable for dealing with various questions in computer science. 440 pp. Englisch. N° de réf. du vendeur 9783319291963
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Advances in Proof Theory
ISBN 10 : 3319291963
ISBN 13 : 9783319291963
Neuf
Buch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Neuware -¿Proof theory came into being in the twenties of the last century, when it was inaugurated by David Hilbert in order to secure the foundations of mathematics. It was substantially influenced by Gödel's famous incompleteness theorems of 1930 and Gentzen's new consistency proof for the axiom system of first order number theory in 1936. Today, proof theory is a well-established branch of mathematical and philosophical logic and one of the pillars of the foundations of mathematics. Proof theory explores constructive and computational aspects of mathematical reasoning; it is particularly suitable for dealing with various questions in computer science.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 440 pp. Englisch. N° de réf. du vendeur 9783319291963
Quantité disponible : 2 disponible(s)
Image d'archives
Advances in Proof Theory (Progress in Computer Science and Applied Logic, 28)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783319291963_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Advances in Proof Theory
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Brand New. 440 pages. 9.50x6.50x1.25 inches. In Stock. N° de réf. du vendeur x-3319291963
Quantité disponible : 2 disponible(s)