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 |