TY  - GEN
AU  - Schutte, Kurt
AU  - Diller, Justus
AU  - Muller, G. H
TI  - ISILC Proof Theory Symposion: dedicated to Kurt SchuÃŒÂ(tte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
T2  - Lecture notes in mathematics
SN  - 038707533X (New York)
U1  - 510/.8 s511/.3 
PY  - 1975///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Schutte, Kurt
KW  - Proof theory
KW  - Congresses
KW  - Bibliography
N1  - Text in English or German; Cuprinde bibliografie pe capitole
ER  -