International Summer Institute and Logic Colloquium
著者名典拠詳細を表示
著者の属性 | 会議 |
---|---|
場所 | Kiel, West Germany |
一般注記 | Its (The Summer Institute, 17-31/7/1974 ; the Logic Colloquium, 1-3/8/1974 : Kiel, West Germany) ISILC Logic Conference, 1975 Its (The Summer Institute, 17-31/7/1974 ; the Proof Theory Symposium, 2/8/1974 : Kiel) ISILC Proof Theory Symposion, 1975 |
Dates of Birth and Death | 1974 |
から見よ参照 | ISILC |
コード類 | 典拠ID=AU20064145 NCID=DA00402591 |
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 |
2 | ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by G.H. Müller, A. Oberschelp, K. Potthoff : gw,: u.s.. - Berlin ; New York : Springer-Verlag , 1975 |