著者典拠情報

標目形：
Schütte, K. (Kurt)
属性：
Personal
から見よ参照形：
Schütte, Kurt
注記：
LCCN 68-24434: Logic Colloquium (11th : 1966 : Hannover, Germany). Contributions to mathematical logic, 1968 (hdg.: Schütte, Kurt; usage: K. Schütte)
著者典拠ID：
DA00403062


 close
1.

図書
図書
1. Proof theory (: us ; : gw)
Kurt Schütte ; translation from the German by J.N. Crossley
出版情報: Berlin ; New York : Springer-Verlag, 1977
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; Bd. 225
所蔵情報: loading…
2.

図書
図書
2. 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 (: gw ; : u.s.)
edited by J. Diller and G.H. Müller
出版情報: Berlin ; New York : Springer-Verlag, 1975
シリーズ名: Lecture notes in mathematics ; 500
所蔵情報: loading…
3.

図書
図書
3. Vollständige Systeme modaler und intuitionistischer logik
von Kurt Schütte
出版情報: Berlin : Springer, 1968
シリーズ名: Ergebnisse der Mathematik und ihrer Grenzgebiete / 小谷正雄 [ほか] 編 ; Bd. 42
所蔵情報: loading…
4.

図書
図書
4. Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966
edited by H. Arnold Schmidt, K. Schütte, H.-J. Thiele
出版情報: Amsterdam : North-Holland, 1968
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
5.

図書
図書
5. Beweistheorie
von Kurt Schütte
出版情報: Berlin : Springer, 1960
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; Bd. 103
所蔵情報: loading…