Umfang:
v, 383 Seiten
ISBN:
3540111700
,
0387111700
Serie:
Lecture notes in mathematics 897
Weitere Ausg.:
Erscheint auch als Online-Ausgabe ISBN 978-3-540-11170-2
Sprache:
Englisch
Fachgebiete:
Mathematik
Schlagwort(e):
Beweistheorie
;
Induktive Definition
;
Beweistheorie
;
Konferenzschrift
Mehr zum Autor:
Sieg, Wilfried 1945-
Mehr zum Autor:
Buchholz, Wilfried 1948-