著者典拠情報

著者標目形：
International Summer Institute and Logic Colloquium
属性：
Meeting
場所：
Kiel, West Germany
日付：
1974
から見よ参照形：
ISILC
注記：
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
著者典拠ID：
DA00402591


1.

図書
図書
1. ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 (: gw ; : u.s.)
edited by G.H. Müller, A. Oberschelp, K. Potthoff
出版情報: Berlin ; New York : Springer-Verlag, 1975
シリーズ名: Lecture notes in mathematics ; 499
所蔵情報: 図書館
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
所蔵情報: 図書館