9783540111702 - iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies: 897 (lecture notes in mathematics, 897) de buchholz, wilfred (12 resultados)
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 38,66
Envío por EUR 13,89Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (Lecture Notes in Mathematics)
Wilfred Buchholz, Wilfried Sieg, Solomon Feferman, Wolfram Pohlers
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 34,63
Envío por EUR 17,96Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Paperback. Condición: New.
Idioma: Inglés
Editorial: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE 1981
- Tapa blanda
Librería: Rarewaves.com USA, London, Reino UnidoRarewaves.com USA
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,96
Gastos de envío gratisSe envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback. Condición: New. 1981 ed.
- Tapa blanda
Librería: Fireside Bookshop, Stroud, Reino UnidoFireside Bookshop
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 29,85
Envío por EUR 28,98Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Very Good. Estado de la sobrecubierta: No d/j as Published. Type: Book N.B. Small plain label to inside front cover. (MATHEMATICS).
- Tapa blanda
Librería: Antiquariat Bookfarm, Löbnitz, AlemaniaAntiquariat Bookfarm
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 28,50
Envío por EUR 40,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
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.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 37,40
Envío por EUR 62,97Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
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.
Idioma: Inglés
Editorial: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE 1981
- Tapa blanda
Librería: Rarewaves.com UK, London, Reino UnidoRarewaves.com UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 40,09
Envío por EUR 75,35Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback. Condición: New. 1981 ed.
- Tapa blanda
Librería: Mispah books, Redhill, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Bueno
EUR 88,36
Envío por EUR 28,98Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
- Tapa blanda
Librería: Buchpark, Trebbin, AlemaniaBuchpark
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 28,64
Envío por EUR 105,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Sehr gut. Zustand: Sehr gut | Seiten: 392 | Sprache: Englisch | Produktart: Bücher | 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.
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 37,40
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
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.
- Tapa blanda
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 35,17
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
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.
- Tapa blanda
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 37,40
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
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 anal…ysis of ID .- Proof-theoretical analysis of ID by the method of local predicativity.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 392 pp. Englisch.
