Format:
VIII, 383 S.
,
Ill., graph. Darst.
ISBN:
354007533X
,
038707533X
Series Statement:
Lecture notes in mathematics 500
Note:
Text teilw. in dt., teilw. in engl.
Language:
English
Subjects:
Mathematics
,
Philosophy
Keywords:
Beweistheorie
;
Logik
;
Beweistheorie
;
Mathematische Logik
;
Bibliografie
;
Festschrift
;
Konferenzschrift
Author information:
Müller, Gert H. 1923-2006
Author information:
Schütte, Kurt 1909-1998