| 出版情報 |
Berlin ; New York : Springer-Verlag , 1975 |
| 大きさ |
iv, 651 p. ; 25 cm |
| 別書名 |
異なりアクセスタイトル: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
|
| 件 名 |
LCSH:Logic, Symbolic and mathematical -- Congresses
全ての件名で検索
LCSH:Set theory -- Congresses
全ての件名で検索
|
| 分 類 |
LCC:QA3
LCC:QA9.A1
DC:510/.8 s
DC:511/.3
|
| 本文言語 |
英語,フランス語 |
| 書誌ID |
TB10053395 |
| ISBN |
3540075348 |
| NCID |
BA00214154
|
| 巻冊次 |
: gw ; ISBN:3540075348
: u.s. ; ISBN:0387075348
|
