Format:
1 Online-Ressource
ISBN:
9783540075332
Series Statement:
Lecture notes in mathematics 500
Additional Edition:
Erscheint auch als Druckausgabe ISBN 978-3-540-38020-7
Language:
English
Keywords:
Beweistheorie
;
Logik
;
Beweistheorie
;
Mathematische Logik
;
Festschrift
;
Konferenzschrift
;
Bibliografie
Author information:
Müller, Gert H. 1923-2006
Author information:
Schütte, Kurt 1909-1998