> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Proof theory of impredicative subsystems of analysis Beteiligte: Buchholz, Wilfried [Verfasser:in]; Schütte, Kurt [Verfasser:in] Erschienen: Napoli: Bibliopolis, 1988 Erschienen in: Studies in proof theory / Monographs ; 2 Umfang: 122 S. Sprache: Englisch ISBN: 8870881660 Schlagwörter: Beweistheorie > Analysis Beweistheorie > Natürliche Zahl Entstehung: Anmerkungen: Includes bibliographical references (p. 121-122) Weitere Bestandsnachweise 0 : Studies in proof theory / Monographs