Format:
V, 383 S.
,
graph. Darst
ISBN:
3540111700
,
0387111700
Series Statement:
Lecture notes in mathematics 897
Note:
Literaturverz. S. 358 - 368
Additional Edition:
Online-Ausg. Buchholz, Wilfried Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies Berlin, Heidelberg : Springer Berlin Heidelberg, 1981 ISBN 9783540386490
Additional Edition:
ISBN 9783540111702
Language:
English
Subjects:
Mathematics
Keywords:
Beweistheorie
;
Induktive Definition
;
Beweistheorie
Author information:
Buchholz, Wilfried 1948-
Bookmarklink