Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies: 897 (Lecture Notes in Mathematics, 897) - Tapa blanda
Otras ediciones populares con el mismo título
Resultados de la búsqueda para Iterated Inductive Definitions and Subsystems of Analysis:...
Imagen del vendedor
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Librería: Greenworld Books, Arlington, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: good. Fast Free Shipping â" Good condition. It may show normal signs of use, such as light writing, highlighting, or library markings, but all pages are intact and the book is fully readable. A solid, complete copy that's ready to enjoy. Nº de ref. del artículo: GWV.3540111700.G
Comprar usado
EUR 33,41
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783540111702_new
Comprar nuevo
EUR 38,26
Envío por EUR 13,84
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (Lecture Notes in Mathematics)
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: 6666-IUK-9783540111702
Comprar nuevo
EUR 34,52
Envío por EUR 17,90
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 10 disponibles
Imagen del vendedor
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Publicado por
Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1981
ISBN 10: 3540111700
ISBN 13: 9783540111702
Nuevo
Paperback
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. 1981 ed. Nº de ref. del artículo: LU-9783540111702
Comprar nuevo
EUR 53,70
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (Lecture Notes in Mathematics)
Librería: Fireside Bookshop, Stroud, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Very Good. Type: Book N.B. Small plain label to inside front cover. (MATHEMATICS). Nº de ref. del artículo: 300210
Comprar usado
EUR 29,76
Envío por EUR 28,89
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Publicado por
Springer Berlin Heidelberg Dez 1981, 1981
ISBN 10: 3540111700
ISBN 13: 9783540111702
Nuevo
Taschenbuch
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 -Inductive definitions and subsystems of analysis.- Proof theoretic equivalences between classical and constructive theories for analysis.- Inductive definitions, constructive ordinals, and normal derivations.- The +1-Rule.- Ordinal analysis of ID .- Proof-theoretical analysis of ID by the method of local predicativity. 392 pp. Englisch. Nº de ref. del artículo: 9783540111702
Comprar nuevo
EUR 37,40
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Iterated inductive definitions and subsystems of analysis. Recent proof-theoretical studies.
Publicado por
Berlin, Springer, 1981
ISBN 10: 3540111700
ISBN 13: 9783540111702
Antiguo o usado
Softcover
Librería: Antiquariat Bookfarm, Löbnitz, Alemania
Calificación del vendedor: 5 de 5 estrellas
Softcover. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. C-01437 3540111700 Sprache: Englisch Gewicht in Gramm: 1150. Nº de ref. del artículo: 2485302
Comprar usado
EUR 28,50
Envío por EUR 40,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Publicado por
Springer Berlin Heidelberg, 1981
ISBN 10: 3540111700
ISBN 13: 9783540111702
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Inductive definitions and subsystems of analysis.- Proof theoretic equivalences between classical and constructive theories for analysis.- Inductive definitions, constructive ordinals, and normal derivations.- The ??+1-Rule.- Ordinal analysis of ID?.- Proof. Nº de ref. del artículo: 4881270
Comprar nuevo
EUR 35,17
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Publicado por
Springer, Springer Vieweg Dez 1981, 1981
ISBN 10: 3540111700
ISBN 13: 9783540111702
Nuevo
Taschenbuch
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 -Inductive definitions and subsystems of analysis.- Proof theoretic equivalences between classical and constructive theories for analysis.- Inductive definitions, constructive ordinals, and normal derivations.- The +1-Rule.- Ordinal analysis of ID .- Proof-theoretical analysis of ID by the method of local predicativity.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 392 pp. Englisch. Nº de ref. del artículo: 9783540111702
Comprar nuevo
EUR 37,40
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Publicado por
Springer, Springer Vieweg, 1981
ISBN 10: 3540111700
ISBN 13: 9783540111702
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 - Inductive definitions and subsystems of analysis.- Proof theoretic equivalences between classical and constructive theories for analysis.- Inductive definitions, constructive ordinals, and normal derivations.- The +1-Rule.- Ordinal analysis of ID .- Proof-theoretical analysis of ID by the method of local predicativity. Nº de ref. del artículo: 9783540111702
Comprar nuevo
EUR 37,40
Envío por EUR 62,97
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles