Verwandte Artikel zu Iterated Inductive Definitions and Subsystems of Analysis:...
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies: 897 (Lecture Notes in Mathematics) - Softcover
Neu kaufen
Diesen Artikel anzeigen
EUR 35,17
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Iterated Inductive Definitions and Subsystems of Analysis:...
Beispielbild für diese ISBN
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Verlag:
Springer Berlin Heidelberg, 1981
ISBN 10: 3540111700
ISBN 13: 9783540111702
Gebraucht
Softcover
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 392 | Sprache: Englisch | Produktart: Bücher. Bestandsnummer des Verkäufers 4324772/202
Anzahl: 1 verfügbar
Foto des Verkäufers
Iterated inductive definitions and subsystems of analysis. Recent proof-theoretical studies.
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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. Bestandsnummer des Verkäufers 2485302
Anzahl: 1 verfügbar
Foto des Verkäufers
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 4881270
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
ISBN 10: 3540111700
ISBN 13: 9783540111702
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783540111702
Anzahl: 2 verfügbar
Foto des Verkäufers
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783540111702
Anzahl: 1 verfügbar
Foto des Verkäufers
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Verlag:
Springer Berlin Heidelberg Dez 1981, 1981
ISBN 10: 3540111700
ISBN 13: 9783540111702
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783540111702
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (Lecture Notes in Mathematics)
Anbieter: Fireside Bookshop, Stroud, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. Type: Book N.B. Small plain label to inside front cover. (MATHEMATICS). Bestandsnummer des Verkäufers 300210
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies (Lecture Notes in Mathematics, 897)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540111702_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
ISBN 10: 3540111700
ISBN 13: 9783540111702
Neu
Paperback
Anbieter: Rarewaves.com UK, London, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Paperback. Zustand: New. 1981 ed. Bestandsnummer des Verkäufers LU-9783540111702
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783540111702
Anzahl: 10 verfügbar