ISILC Proof Theory Symposium : dealicated to Kurt Schutte on the Occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
1974: University of Kiel
Berlin
Springer-Verlag
c1975
viii, 383p
Lecture notes in mathematics; 005
Text in English or German. Bibliography of kurt Schutte : p. ]1[-3
Includes bibliographies
ISBN: 354007533X
edited by J. Diller and G. H. Muller
1
Congresses ، Proof theory
Bibliography ، Schutte, Kurt
QA
3
.
L28
Vol
.
500
AU
AU Schutte, Kurt
AU Diller, Justus
AU Muller, Gert Heinz, 1923-
CO International Summer Institute and Logic Colloquium 1974: University of Kiel
TI Proof Theory Symposium
International Summer Institute and Logic Colloquium