Umfang:
V, 383 S.
,
graph. Darst
ISBN:
3540111700
,
0387111700
Serie:
Lecture notes in mathematics 897
Anmerkung:
Literaturverz. S. 358 - 368
Weitere Ausg.:
Online-Ausg. Buchholz, Wilfried Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies Berlin, Heidelberg : Springer Berlin Heidelberg, 1981 ISBN 9783540386490
Weitere Ausg.:
ISBN 9783540111702
Sprache:
Englisch
Fachgebiete:
Mathematik
Schlagwort(e):
Beweistheorie
;
Induktive Definition
;
Beweistheorie
Mehr zum Autor:
Buchholz, Wilfried 1948-