Advances in Proof Theory - Couverture rigide

Couverture rigide

ISBN 10 : 3319291963 ISBN 13 : 9783319291963

Editeur : Birkhauser Verlag AG, 2016

Afficher les exemplaires de cette �dition comportant l?ISBN

1 D'occasion

De EUR 145,40

11 Neuf

De EUR 86,24

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: Birkhauser Verlag AG
Date d'�dition: 2016
Langue: anglais
ISBN 10: 3319291963
ISBN 13: 9783319291963
Reliure: Reli�
Num�ro d'�dition: 1
Nombre de pages: 437
�diteur: Kahle Reinhard, Strahm Thomas, Studer Thomas
Coordonn�es du fabricant: Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Allemagne

Acheter D'occasion

�tat : Comme neuf

Like New

Afficher cet article

EUR 145,40

Exp�dition �EUR 28,93
Exp�dition depuis Royaume-Uni vers Etats-Unis

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 86,24

Exp�dition �EUR 8
Exp�dition depuis Italie vers Etats-Unis

Ajouter au panier

Autres �ditions populaires du m�me titre

Edition pr�sent�e

ISBN 10 : 3319805134 ISBN 13 : 9783319805139
Editeur : Birkh�user, 2018
Couverture souple

R�sultats de recherche pour Advances in Proof Theory

Image d'archives

Advances in Proof Theory (eng)

Kahle, Reinhard

Edit� par Birkh�user, 2016

ISBN 10 : 3319291963 ISBN 13 : 9783319291963

Neuf Couverture rigide

impression � la demande

Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie

�valuation du vendeur 4 sur 5 �toiles

Etat : new. Questo � un articolo print on demand. N� de r�f. du vendeur 023d9a7a65b8dd3776d04b3258ec5eb5

Contacter le vendeur

Acheter neuf

EUR 86,24

Exp�dition �EUR 8
Exp�dition depuis Italie vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

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

Contacter le vendeur

Acheter neuf

EUR 102,46

Exp�dition �EUR 3,48
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

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 4 sur 5 �toiles

Etat : New. pp. 425. N� de r�f. du vendeur 372017741

Contacter le vendeur

Acheter neuf

EUR 103,28

Exp�dition �EUR 7,52
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

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

Contacter le vendeur

Acheter neuf

EUR 102,50

Exp�dition �EUR 9,95
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

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

Edit� par Birkh�user, 2016

ISBN 10 : 3319291963 ISBN 13 : 9783319291963

Neuf Couverture rigide

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

Contacter le vendeur

Acheter neuf

EUR 112,39

Exp�dition �EUR 13,86
Exp�dition depuis Royaume-Uni vers Etats-Unis

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 Mai 2016, 2016

ISBN 10 : 3319291963 ISBN 13 : 9783319291963

Neuf Buch

impression � la demande

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

Contacter le vendeur

Acheter neuf

EUR 106,99

Exp�dition �EUR 23
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Advances in Proof Theory

Kahle, Reinhard|Strahm, Thomas|Studer, Thomas

Edit� par Springer International Publishing, 2016

ISBN 10 : 3319291963 ISBN 13 : 9783319291963

Neuf Couverture rigide

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 4 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 109484074

Contacter le vendeur

Acheter neuf

EUR 92,27

Exp�dition �EUR 48,99
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Advances in Proof Theory

Reinhard Kahle (u. a.)

Edit� par Springer, 2016

ISBN 10 : 3319291963 ISBN 13 : 9783319291963

Neuf Couverture rigide

impression � la demande

Vendeur : preigu, Osnabr�ck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Contacter le vendeur

Acheter neuf

EUR 95,70

Exp�dition �EUR 70
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 5 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Advances in Proof Theory

Reinhard Kahle

Edit� par Springer International Publishing, Springer International Publishing Mai 2016, 2016

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

Contacter le vendeur

Acheter neuf

EUR 106,99

Exp�dition �EUR 60
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Advances in Proof Theory

Reinhard Kahle

Edit� par Birkh�user, Palgrave Macmillan, 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

Contacter le vendeur

Acheter neuf

EUR 106,99

Exp�dition �EUR 64,11
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

There are 2 autres exemplaires de ce livre sont disponibles

Afficher tous les r�sultats pour ce livre