図書

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. (Lecture notes in mathematics ; 500)

図書を表すアイコン

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.

(Lecture notes in mathematics ; 500)

国立国会図書館請求記号
MA41-98
国立国会図書館書誌ID
000006228486
資料種別
図書
著者
ISILC Proof Theory Symposion, University of Kiel, 1974.ほか
出版者
Springer-Verlag
出版年
1975.
資料形態
紙
ページ数・大きさ等
viii, 383 p. ; 25 cm.
NDC
-
すべて見る

資料に関する注記

一般注記：

Text in English or German.

書店で探す

書店で探す

全国の図書館の所蔵

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

連携機関・データベースの一覧

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

関東

書店で探す

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

紙

資料種別
図書
ISBN
038707533X
タイトル
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.
シリーズタイトル
Lecture notes in mathematics ; 500
タイトル標目
Lecture notes in mathematics (Springer-Verlag) ; 500.
著者標目
ISILC Proof Theory Symposion, University of Kiel, 1974.
Schütte, K. (Kurt)
Diller, Justus.
Müller, G. H. (Gert Heinz) , 1923-
International Summer Institute and Logic Colloquium, University of Kiel, 1974.
出版事項
Berlin : Springer-Verlag
New York : Springer-Verlag
出版年月日等
1975.
出版年（W3CDTF）
1975
数量
viii, 383 p. ; 25 cm.