このページのリンク

ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by G.H. Müller, A. Oberschelp, K. Potthoff
(Lecture notes in mathematics ; 499)

データ種別 図書
出版情報 Berlin ; New York : Springer-Verlag , 1975
本文言語 英語,フランス語
大きさ iv, 651 p. ; 25 cm

所蔵情報を非表示

積層4層 : gw 410.8||L||499 9851622123
3540075348

書誌詳細を非表示

別書名 異なりアクセスタイトル:Logic Conference
一般注記 Chiefly comprised of selected course lecture notes from the institute, July 17-31, 1974, and selected papers from the conference, Aug. 1-3, 1974
Papers on proof theory dedicated to Kurt Schütte are published as a separate volume of these proceedings
Includes bibliographies
著者標目  *International Summer Institute and Logic Colloquium (1974 : Kiel, West Germany)
 Müller, G. H. (Gert Heinz), 1923-
 Oberschelp, A
 Potthoff, Klaus
分 類 LCC:QA3
LCC:QA9.A1
DC:510/.8 s
DC:511/.3
件 名 LCSH:Logic, Symbolic and mathematical -- Congresses  全ての件名で検索
LCSH:Set theory -- Congresses  全ての件名で検索
書誌ID TY00017339
ISBN 3540075348
NCID BA00214154