Importe total (1 artículo artículos):
Destino del pedido:
iterated inductive definitions subsystems (14 resultados)
Comentarios
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (14)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición
Encuadernación
- Todas
- Tapa dura (No hay ningún otro resultado que coincida con este filtro.)
- Tapa blanda (14)
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (8)
- No impresión bajo demanda (12)
Idioma (1)
Precio
- Cualquier precio
- Menos de EUR 20 (No hay ningún otro resultado que coincida con este filtro.)
- EUR 20 a EUR 40
- Más de EUR 40
Gastos de envío gratis
- Envío gratis a España (No hay ningún otro resultado que coincida con este filtro.)
Ubicación del vendedor
Valoración de los vendedores
-
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies (Lecture Notes in Mathematics, 897)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 38,40
Convertir monedaEUR 5,21 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Publicado por Springer Berlin Heidelberg, 1981
ISBN 10: 3540111700 ISBN 13: 9783540111702
Idioma: Inglés
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 28,64
Convertir monedaEUR 14,90 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Seiten: 392 | Sprache: Englisch | Produktart: Bücher.
-
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (Lecture Notes in Mathematics)
Librería: Fireside Bookshop, Stroud, GLOS, Reino Unido
Miembro de asociación: PBFA
Calificación del vendedor: 5 de 5 estrellas
EUR 29,90
Convertir monedaEUR 14,51 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Type: Book N.B. Small plain label to inside front cover. (MATHEMATICS).
-
Iterated Inductive Definitions and Subsystems of Analysis (Lecture Notes in Mathematics)
Librería: Phatpocket Limited, Waltham Abbey, HERTS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 42,92
Convertir monedaEUR 4,56 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
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
Idioma: Inglés
Librería: Rarewaves.com UK, London, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 45,52
Convertir monedaEUR 2,32 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New. 1981 ed.
-
Iterated inductive definitions and subsystems of analysis. Recent proof-theoretical studies.
Librería: Antiquariat Bookfarm, Löbnitz, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 28,50
Convertir monedaEUR 18,00 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. 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.
-
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Publicado por Springer Berlin Heidelberg, 1981
ISBN 10: 3540111700 ISBN 13: 9783540111702
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 37,40
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. 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.
-
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 33,43
Convertir monedaEUR 17,41 gastos de envío desde Reino Unido a EspañaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
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
Idioma: Inglés
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 50,78
Convertir monedaEUR 2,32 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New. 1981 ed.
-
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Publicado por Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 1981, 1981
ISBN 10: 3540111700 ISBN 13: 9783540111702
Idioma: Inglés
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 37,40
Convertir monedaEUR 35,00 gastos de envío desde Alemania a EspañaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. 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.
-
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies (Lecture Notes in Mathematics, 897)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 43,96
Convertir monedaEUR 63,72 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies (Lecture Notes in Mathematics, 897)
Librería: ZBK Books, Carlstadt, NJ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 42,65
Convertir monedaEUR 66,27 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: good. Used book in good and clean conditions. Pages and cover are intact. Limited notes marks and highlighting may be present. May show signs of normal shelf wear and bends on edges. Item may be missing CDs or access codes. May include library marks. Fast Shipping.
-
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
Idioma: Inglés
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 37,40
Convertir monedaEUR 11,00 gastos de envío desde Alemania a EspañaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. 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.
-
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Publicado por Springer Berlin Heidelberg, 1981
ISBN 10: 3540111700 ISBN 13: 9783540111702
Idioma: Inglés
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 35,17
Convertir monedaEUR 19,49 gastos de envío desde Alemania a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondició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.
