Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
W. Buchholz (u. a.)
ISBN 10: 3540111700 ISBN 13: 9783540111702
Verlag: Springer, 1981
Neu
Taschenbuch
Verkäufer
preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 5. August 2024
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies | W. Buchholz (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 1981 | Springer | EAN 9783540111702 | Verantwortliche Person für die EU: Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu Print on Demand. Bestandsnummer des Verkäufers 102156470
Bibliografische Details
Titel: Iterated Inductive Definitions and ...
Verlag: Springer
Erscheinungsdatum: 1981
Einband: Taschenbuch
Zustand: Neu
Beste Suchergebnisse beim ZVAB
Beispielbild für diese ISBN
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 392 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Artikel-Nr. 4324772/202
Gebraucht kaufen
EUR 25,78
EUR 105,00 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
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. Artikel-Nr. 2485302
Gebraucht kaufen
EUR 28,50
EUR 40,00 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 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). Artikel-Nr. 300210
Gebraucht kaufen
EUR 29,40
EUR 28,55 shipping
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 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. Artikel-Nr. 9783540111702
Neu kaufen
EUR 37,40
EUR 62,97 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 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. Artikel-Nr. 9783540111702
Neu kaufen
EUR 37,40
EUR 60,00 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar