Artículos relacionados a Iterated Inductive Definitions and Subsystems of Analysis:...
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies: 897 (Lecture Notes in Mathematics, 897) - Tapa blanda
Sinopsis
Iterated Inductive Definitions and Subsystems of Analysis
"Sinopsis" puede pertenecer a otra edición de este libro.
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. Lecture Notes in Mathematics, Band 897.
Publicado por
Springer Verlag;, 1981
ISBN 10: 3540111700
ISBN 13: 9783540111702
Antiguo o usado
Broschiert
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
Calificación del vendedor: 5 de 5 estrellas
Broschiert. Condición: Gut. 383 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 640. Nº de ref. del artículo: 2302885
Comprar usado
EUR 27,95
Envío por EUR 15,95
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 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,82
Envío por EUR 18,06
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 54,65
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
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In English. Nº de ref. del artículo: ria9783540111702_new
Comprar nuevo
EUR 42,81
Envío por EUR 13,16
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 30,01
Envío por EUR 29,14
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. Lecture notes in mathematics; 897.
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. Condición: Gut. V, 383 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. M16135 9783540111702 Sprache: Englisch Gewicht in Gramm: 650. Nº de ref. del artículo: 2546675
Comprar usado
EUR 27,94
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: 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. Condición: Gut. 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: 5 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