Proof Theory: An Introduction (Lecture Notes in Mathematics) - Couverture souple

Pohlers, Wolfram

9783540518426: Proof Theory: An Introduction (Lecture Notes in Mathematics)

Couverture souple

ISBN 10 : 3540518428 ISBN 13 : 9783540518426

Editeur : Springer, 1989

Afficher les exemplaires de cette �dition comportant l?ISBN

3 D'occasion

De EUR 17

8 Neuf

De EUR 70,33

Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level. The heart of the book is the ordinal analysis of axiom systems, with particular emphasis on that of the impredicative theory of elementary inductive definitions on the natural numbers. The "constructive" consequences of ordinal analysis are sketched out in the epilogue. The book provides a self-contained treatment assuming no prior knowledge of proof theory and almost none of logic. The author has, moreover, endeavoured not to use the "cabal language" of proof theory, but only a language familiar to most readers.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer
Date d'�dition: 1989
Langue: anglais
ISBN 10: 3540518428
ISBN 13: 9783540518426
Reliure: Broch�
Num�ro d'�dition: 1
Nombre de pages: 228
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 D'occasion

Ex-library with stamp and library-signature...

Afficher cet article

EUR 17

Autre devise

EUR 7 exp�dition depuis Allemagne vers France

Destinations, frais et d�lais

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 70,33

Autre devise

EUR 9,70 exp�dition depuis Allemagne vers France

Destinations, frais et d�lais

Ajouter au panier

R�sultats de recherche pour Proof Theory: An Introduction (Lecture Notes in Mathematics)

Image fournie par le vendeur

Proof Theory. An Introduction.

Pohlers, Wolfram; Pohlers

Edit� par Berlin, Springer, 1989

ISBN 10 : 3540518428 ISBN 13 : 9783540518426

Ancien ou d'occasion Softcover

Vendeur : Antiquariat Bookfarm, L�bnitz, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Softcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. C-03473 3540518428 Sprache: Englisch Gewicht in Gramm: 550. N� de r�f. du vendeur 2489384

Contacter le vendeur

Acheter D'occasion

EUR 17

Autre devise

Frais de port : EUR 7

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Proof Theory: An Introduction (Lecture Notes in Mathematics, 1407)

Pohlers, Wolfram; Pohlers

Edit� par Springer (edition ), 1989

ISBN 10 : 3540518428 ISBN 13 : 9783540518426

Ancien ou d'occasion Paperback

Vendeur : BooksRun, Philadelphia, PA, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Fair. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. N� de r�f. du vendeur 3540518428-7-1

Contacter le vendeur

Acheter D'occasion

EUR 66,02

Autre devise

Frais de port : EUR 9,48

De Etats-Unis vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Proof Theory

Wolfram Pohlers

Edit� par Springer Berlin Heidelberg, 1989

ISBN 10 : 3540518428 ISBN 13 : 9783540518426

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. Ordinal Analysis of Pure Number Theory.- The autonomous ordinal of the infinitary system Z? and the limits of predicativity.- Ordinal analysis of the formal theory for noniterated inductive definitions.Although this is an introductory text on proof . N� de r�f. du vendeur 4892156

Contacter le vendeur

Acheter neuf

EUR 70,33

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

Proof Theory : An Introduction

Wolfram Pohlers

Edit� par Springer Berlin Heidelberg, Springer Berlin Heidelberg, 1989

ISBN 10 : 3540518428 ISBN 13 : 9783540518426

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 - Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level. The heart of the book is the ordinal analysis of axiom systems, with particular emphasis on that of the impredicative theory of elementary inductive definitions on the natural numbers. The 'constructive' consequences of ordinal analysis are sketched out in the epilogue. The book provides a self-contained treatment assuming no prior knowledge of proof theory and almost none of logic. The author has, moreover, endeavoured not to use the 'cabal language' of proof theory, but only a language familiar to most readers. N� de r�f. du vendeur 9783540518426

Contacter le vendeur

Acheter neuf

EUR 80,24

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

Proof Theory

Wolfram Pohlers

Edit� par Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1989, 1989

ISBN 10 : 3540518428 ISBN 13 : 9783540518426

Neuf Taschenbuch

impression � la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level. The heart of the book is the ordinal analysis of axiom systems, with particular emphasis on that of the impredicative theory of elementary inductive definitions on the natural numbers. The 'constructive' consequences of ordinal analysis are sketched out in the epilogue. The book provides a self-contained treatment assuming no prior knowledge of proof theory and almost none of logic. The author has, moreover, endeavoured not to use the 'cabal language' of proof theory, but only a language familiar to most readers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch. N� de r�f. du vendeur 9783540518426

Contacter le vendeur

Acheter neuf

EUR 80,24

Autre devise

Frais de port : EUR 15

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Proof Theory

Wolfram Pohlers

Edit� par Springer Berlin Heidelberg Okt 1989, 1989

ISBN 10 : 3540518428 ISBN 13 : 9783540518426

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 -Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level. The heart of the book is the ordinal analysis of axiom systems, with particular emphasis on that of the impredicative theory of elementary inductive definitions on the natural numbers. The 'constructive' consequences of ordinal analysis are sketched out in the epilogue. The book provides a self-contained treatment assuming no prior knowledge of proof theory and almost none of logic. The author has, moreover, endeavoured not to use the 'cabal language' of proof theory, but only a language familiar to most readers. 228 pp. Englisch. N� de r�f. du vendeur 9783540518426

Contacter le vendeur