Umfang:
VIII, 383 S
,
Ill.
ISBN:
354007533X
,
038707533X
Serie:
Lecture notes in mathematics 500
Anmerkung:
Intermediärsprache: Englisch
,
Beitr. teilw. dt., teilw. engl
Weitere Ausg.:
Erscheint auch als Online-Ausgabe Diller, Justus ⊨ISILC Proof Theory Symposion Berlin, Heidelberg : Springer Berlin Heidelberg, 1975 ISBN 9783540380207
Weitere Ausg.:
ISBN 9783540075332
Sprache:
Deutsch
Fachgebiete:
Mathematik
Schlagwort(e):
Konferenzschrift
;
Festschrift
Bookmarklink