The theory of models : proceedings of the 1963 International Symposium at Berkeley / edited by J.W. Addison, Leon Henkin, Alfred Tarski
(Studies in logic and the foundations of mathematics)
データ種別 | 図書 |
---|---|
出版者 | Amsterdam : North-Holland |
出版年 | 1965 |
本文言語 | 英語 |
大きさ | xv, 494 p. : port. ; 23 cm |
所蔵情報を非表示
配架場所 | 巻 次 | 請求記号 | 資料番号 | 状 態 | コメント | ISBN | 刷 年 | 利用注記 | 請求メモ | 予約 | 緑丘アーカイブズ |
---|---|---|---|---|---|---|---|---|---|---|---|
書庫(1階) |
|
S 10.2||00501||040035 | 003040035X |
|
0720422337 | 1965 | 研究図書 |
|
書誌詳細を非表示
一般注記 | Held at the University of California, Berkeley; sponsored by the Association for Symbolic Logic in cooperation with the Division of Logic, Methodology, and Philosophy of Sciences of the International Union of the History and Philosophy of Science Bibliography: p. 442-492 |
---|---|
著者標目 | *International Symposium on the Theory of Models (1963 : Berkeley, Calif.) Addison, J. W. (John West), 1930- ed University of California, Berkeley Association for Symbolic Logic International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science Henkin, Leon Tarski, Alfred, 1902- |
件 名 | LCSH:Logic, Symbolic and mathematical -- Congresses
全ての件名で検索
LCSH:Mathematical models -- Congresses 全ての件名で検索 |
分 類 | LCC:BC135 DC:164 |
書誌ID | OL00041414 |
ISBN | 0720422337 |
NCID | BA03949576 |