ISILC Proof Theory Symposium
著者名典拠詳細を表示
| 著者の属性 | 会議 |
|---|---|
| 場所 | Kiel, West Germany |
| 一般注記 | Its (The Summer Institute, 17-31/7/1974 ; the Proof Theory Symposium, 2/8/1974 : Kiel, West Germany) ISILC Proof Theory Symposion, 1975 |
| Dates of Birth and Death | 1974 |
| から見よ参照 | International Summer Institute and Logic Colloquium Proof Theory Symposium Symposion on Proof Theory |
| コード類 | 典拠ID=AU20064154 NCID=DA00402988 |
| 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 |