ISILC Proof Symposion Kiel, International Summer Institute and Logic Colloquium, Diller, J., & Müller, G. H. (1975). ISILC proof theory symposion: Dedicated to Kurt Schutte on the occasion of his 65th birthday : proceedings of the International Summer Institute and logic Colloquium, Kiel 1974. Springer-Verlag.
Παραπομπή σε μορφή Chicago (17η εκδ.)ISILC Proof Symposion Kiel, International Summer Institute and Logic Colloquium, Justus Diller, και G. H. Müller. ISILC Proof Theory Symposion: Dedicated to Kurt Schutte on the Occasion of His 65th Birthday : Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974. Berlin: Springer-Verlag, 1975.
Παραπομπή σε μορφή MLA (9th εκδ.)ISILC Proof Symposion Kiel, et al. ISILC Proof Theory Symposion: Dedicated to Kurt Schutte on the Occasion of His 65th Birthday : Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974. Springer-Verlag, 1975.