Format:
VIII, 383 S. :
,
Ill., graph. Darst.
ISBN:
3-540-07533-X
,
0-387-07533-X
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
;
Bibliografie
;
Festschrift
;
Konferenzschrift
Author information:
Müller, Gert H., 1923-2006
Author information:
Schütte, Kurt, 1909-1998