Proof Theory: An Introduction (Lecture Notes in Mathematics): 1407 - Tapa blanda

Pohlers, Wolfram

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

Tapa blanda

ISBN 10: 3540518428 ISBN 13: 9783540518426

Editorial: Springer, 1989

Ver todas las copias de esta edici�n del ISBN

4 Usado

De EUR 13,60

6 Nuevo

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.

"Sinopsis" puede pertenecer a otra edici�n de este libro.

Rese�a del editor

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

EditorialSpringer
A�o de publicaci�n1989
ISBN 10 3540518428
ISBN 13 9783540518426
Encuadernaci�nTapa blanda
IdiomaIngl�s
N�mero de edici�n1
N�mero de p�ginas228
Contacto del fabricanteno disponible

Comprar usado

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

Ver este art�culo

EUR 13,60

Convertir moneda

EUR 7,00 gastos de env�o desde Alemania a Espa�a

Destinos, gastos y plazos de env�o

A�adir al carrito

Comprar nuevo

Ver este art�culo

EUR 70,33

Convertir moneda

EUR 19,49 gastos de env�o desde Alemania a Espa�a

Destinos, gastos y plazos de env�o

A�adir al carrito

Resultados de la b�squeda para Proof Theory: An Introduction (Lecture Notes in Mathematics)...

Imagen del vendedor

Proof Theory. An Introduction.

Pohlers, Wolfram; Pohlers

Publicado por Berlin, Springer, 1989

ISBN 10: 3540518428 ISBN 13: 9783540518426

Antiguo o usado Softcover

Librería: Antiquariat Bookfarm, L�bnitz, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

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 ref. del art�culo: 2489384

Contactar al vendedor

Comprar usado

EUR 13,60

Convertir moneda

Gastos de env�o: EUR 7,00

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

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

Pohlers, Wolfram:

Publicado por Springer, 1989

ISBN 10: 3540518428 ISBN 13: 9783540518426

Antiguo o usado paperback

Librería: Studibuch, Stuttgart, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

paperback. Condici�n: Befriedigend. 228 Seiten; 9783540518426.4 Gewicht in Gramm: 500. N� de ref. del art�culo: 763370

Contactar al vendedor

Comprar usado

EUR 13,89

Convertir moneda

Gastos de env�o: EUR 13,90

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Proof Theory

Wolfram Pohlers

Publicado por Springer Berlin Heidelberg, 1989

ISBN 10: 3540518428 ISBN 13: 9783540518426

Nuevo Tapa blanda

Impresi�n bajo demanda

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: 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 ref. del art�culo: 4892156

Contactar al vendedor

Comprar nuevo

EUR 70,33

Convertir moneda

Gastos de env�o: EUR 19,49

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Proof Theory : An Introduction

Wolfram Pohlers

Publicado por Springer Berlin Heidelberg, Springer Berlin Heidelberg, 1989

ISBN 10: 3540518428 ISBN 13: 9783540518426

Nuevo Taschenbuch

Librería: AHA-BUCH GmbH, Einbeck, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: 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 ref. del art�culo: 9783540518426

Contactar al vendedor

Comprar nuevo

EUR 80,24

Convertir moneda

Gastos de env�o: EUR 11,99

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Proof Theory

Wolfram Pohlers

Publicado por Springer Berlin Heidelberg Okt 1989, 1989

ISBN 10: 3540518428 ISBN 13: 9783540518426

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: 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 ref. del art�culo: 9783540518426

Contactar al vendedor

Comprar nuevo

EUR 85,59

Convertir moneda

Gastos de env�o: EUR 11,00

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen del vendedor

Proof Theory

Wolfram Pohlers

Publicado por Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1989, 1989

ISBN 10: 3540518428 ISBN 13: 9783540518426

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: 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 ref. del art�culo: 9783540518426

Contactar al vendedor