KOBV-Portal

Treffer pro Seite

Treffer 1 - 1 | 1 Treffer

Alles auswählen Exportieren

Online-Ressource

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (1981)

Buchholz, W. ; Feferman, S. ; Pohlers, W. ; [weitere]

Berlin, Heidelberg :Springer Berlin Heidelberg :

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

edoccha_9959185984802883

Umfang: 1 online resource (VIII, 384 p.)

Ausgabe: 1st ed. 1981.

Ausgabe: Online edition Springer Lecture Notes Archive ; 041142-5

ISBN: 3-540-38649-1

Serie: Lecture Notes in Mathematics, 897

Anmerkung: Bibliographic Level Mode of Issuance: Monograph , 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. , English

In: Springer eBooks

Weitere Ausg.: ISBN 3-540-11170-0

Sprache: Englisch

DOI: 10.1007/BFb0091894

URL: http://dx.doi.org/10.1007/BFb0091894

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Open Access Wunsch

Charité

Treffer 1 - 1 | 1 Treffer

Kooperativer Bibliotheksverbund

Berlin Brandenburg