Schütte, K. (Kurt)
著者名典拠詳細を表示
| 著者の属性 | 個人 |
|---|---|
| 一般注記 | LCCN 68-24434: Logic Colloquium (11th : 1966 : Hannover, Germany). Contributions to mathematical logic, 1968 (hdg.: Schütte, Kurt; usage: K. Schütte) |
| から見よ参照 | Schütte, Kurt |
| コード類 | 典拠ID=AU20064155 NCID=DA00403062 |
| 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 |