Format:
VIII, 383 S
,
Ill.
ISBN:
354007533X
,
038707533X
Series Statement:
Lecture notes in mathematics 500
Note:
Intermediärsprache: Englisch
,
Beitr. teilw. dt., teilw. engl
Additional Edition:
Erscheint auch als Online-Ausgabe Diller, Justus ⊨ISILC Proof Theory Symposion Berlin, Heidelberg : Springer Berlin Heidelberg, 1975 ISBN 9783540380207
Additional Edition:
ISBN 9783540075332
Language:
German
Subjects:
Mathematics
Keywords:
Konferenzschrift
;
Festschrift
Bookmarklink