Diller, Justus
著者名典拠詳細を表示
| 著者の属性 | 個人 |
|---|---|
| 一般注記 | SRC:ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by J. Diller and G.H. Müller (Springer-Verlag, 1975) |
| から見よ参照 | Diller, J |
| コード類 | 典拠ID=AU20064156 NCID=DA00403073 |
| 1 | ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by J. Diller and G.H. Müller : gw,: u.s.. - Berlin ; New York : Springer-Verlag , 1975 |