Advances in Proof Theory - Couverture souple

Couverture souple

ISBN 10 : 3319805134 ISBN 13 : 9783319805139

Editeur : Birkh�user, 2018

Afficher les exemplaires de cette �dition comportant l?ISBN

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.

�diteur: Birkh�user
Date d'�dition: 2018
Langue: anglais
ISBN 10: 3319805134
ISBN 13: 9783319805139
Reliure: Broch�
Nombre de pages: 440
�diteur: Kahle Reinhard, Strahm Thomas, Studer Thomas
Coordonn�es du fabricant: non disponible
Personne responsable: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Acheter neuf

Afficher cet article

EUR 92,27

Autre devise

EUR 9,70 exp�dition depuis Allemagne vers France

Destinations, frais et d�lais

Ajouter au panier

Autres �ditions populaires du m�me titre

Edition pr�sent�e

ISBN 10 : 3319291963 ISBN 13 : 9783319291963
Editeur : Birkhauser Verlag AG, 2016
Couverture rigide

R�sultats de recherche pour Advances in Proof Theory

Image fournie par le vendeur

Advances in Proof Theory

Kahle, Reinhard|Strahm, Thomas|Studer, Thomas

Edit� par Springer International Publishing, 2018

ISBN 10 : 3319805134 ISBN 13 : 9783319805139

Neuf Couverture souple

impression � la demande

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 &nbspThis volume is dedicated t. N� de r�f. du vendeur 448755596

Contacter le vendeur

Acheter neuf

EUR 92,27

Autre devise

Frais de port : EUR 9,70

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Advances in Proof Theory

Reinhard Kahle

Edit� par Springer International Publishing, Springer International Publishing, 2018

ISBN 10 : 3319805134 ISBN 13 : 9783319805139

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. 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 9783319805139

Contacter le vendeur

Acheter neuf

EUR 106,99

Autre devise

Frais de port : EUR 10,99

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Advances in Proof Theory

Reinhard Kahle

Edit� par Springer International Publishing Mai 2018, 2018

ISBN 10 : 3319805134 ISBN 13 : 9783319805139

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. 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 9783319805139

Contacter le vendeur

Acheter neuf

EUR 106,99

Autre devise

Frais de port : EUR 11

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Advances in Proof Theory (Progress in Computer Science and Applied Logic, 28)

Edit� par Birkh�user, 2018

ISBN 10 : 3319805134 ISBN 13 : 9783319805139

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9783319805139_new

Contacter le vendeur

Acheter neuf

EUR 115,22

Autre devise

Frais de port : EUR 4,57

De Royaume-Uni vers France

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Advances in Proof Theory

Reinhard Kahle

Edit� par Springer International Publishing, Springer Nature Switzerland Mai 2018, 2018

ISBN 10 : 3319805134 ISBN 13 : 9783319805139

Neuf Taschenbuch

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. 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 9783319805139

Contacter le vendeur