Artículos relacionados a Proof Theory: An Introduction (Lecture Notes in Mathematics)...

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

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

Sinopsis

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

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.

"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 7,00 gastos de envío desde Alemania a España

Destinos, gastos y plazos de envío

Comprar nuevo

Ver este artículo

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

Destinos, gastos y plazos de envío

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

Imagen del vendedor

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 Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

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

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 Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

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,86
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

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 Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

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

Wolfram Pohlers
ISBN 10: 3540518428 ISBN 13: 9783540518426
Nuevo Taschenbuch

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

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

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

Wolfram Pohlers
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 Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

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

Wolfram Pohlers
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 Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

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

Comprar nuevo

EUR 80,24
Convertir moneda
Gastos de envío: EUR 35,00
De Alemania a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Pohlers, Wolfram; Pohlers
Publicado por Springer, 1989
ISBN 10: 3540518428 ISBN 13: 9783540518426
Nuevo Tapa blanda

Librería: BGV Books LLC, Murray, KY, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Exact ISBN match. Immediate shipping. No funny business. Nº de ref. del artículo: 9783540518426

Contactar al vendedor

Comprar nuevo

EUR 66,58
Convertir moneda
Gastos de envío: EUR 61,26
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: 3 disponibles

Añadir al carrito

Imagen de archivo

Pohlers, Wolfram; Pohlers
Publicado por Springer (edition ), 1989
ISBN 10: 3540518428 ISBN 13: 9783540518426
Antiguo o usado Paperback

Librería: BooksRun, Philadelphia, PA, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback. Condición: Fair. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. Nº de ref. del artículo: 3540518428-7-1

Contactar al vendedor

Comprar usado

EUR 66,97
Convertir moneda
Gastos de envío: EUR 65,64
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Wolfram Pohlers/ Pohlers
ISBN 10: 3540518428 ISBN 13: 9783540518426
Nuevo Paperback

Librería: Revaluation Books, Exeter, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback. Condición: Brand New. 220 pages. 9.13x6.22x0.63 inches. In Stock. Nº de ref. del artículo: 3540518428

Contactar al vendedor

Comprar nuevo

EUR 127,04
Convertir moneda
Gastos de envío: EUR 11,86
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Pohlers, Wolfram, Pohlers
Publicado por Springer, 2002
ISBN 10: 3540518428 ISBN 13: 9783540518426
Antiguo o usado Paperback

Librería: Mispah books, Redhill, SURRE, Reino Unido

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Paperback. Condición: Like New. Like New. book. Nº de ref. del artículo: ERICA80035405184286

Contactar al vendedor

Comprar usado

EUR 144,18
Convertir moneda
Gastos de envío: EUR 29,66
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito