Umfang:
v, 383 Seiten.
ISBN:
3-540-11170-0
,
0-387-11170-0
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
;
Konferenzschrift
URL:
http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001488474&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
URL:
http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001488474&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Mehr zum Autor:
Sieg, Wilfried, 1945-
Mehr zum Autor:
Buchholz, Wilfried 1948-