WebOPAC Local書誌詳細

豊田工業高等専門学校

ヘルプログイン

書誌詳細

豊田工業高等専門学校

検索結果一覧へ戻る

	The theory of models : proceedings Edited by J.W. Addison, Léon Henkin [and] Alfred Tarski. -- North-Holland Pub. Co., 1965. -- (Studies in logic and the foundations of mathematics). <BB01281001> 登録タグ：登録されているタグはありません便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じる詳細情報を見る書誌URL：

The theory of models : proceedings Edited by J.W. Addison, Léon Henkin [and] Alfred Tarski. -- North-Holland Pub. Co., 1965. -- (Studies in logic and the foundations of mathematics). <BB01281001> 登録タグ：登録されているタグはありません便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じる詳細情報を見る書誌URL：

所蔵一覧 1件～1件（全1件）

ナンバーをクリックすると所蔵詳細をみることができます。

No.	巻号	所蔵館	配置場所	請求記号	資料ID	状態	コメント	返却予定日	予約
0001		豊田高専	書庫1F	417\|\|A	0005977				0件


No.	0001
巻号
所蔵館	豊田高専
配置場所	書庫1F
請求記号	417\|\|A
資料ID	0005977
状態
コメント
返却予定日
予約	0件

このページのTOPへ

書誌詳細

標題および責任表示	The theory of models : proceedings / Edited by J.W. Addison, Léon Henkin [and] Alfred Tarski
出版・頒布事項	Amsterdam : North-Holland Pub. Co. , 1965
形態事項	xv, 494 p : port ; 23 cm
書誌構造リンク	Studies in logic and the foundations of mathematics <BB00068620>//a
注記	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
学情ID	BA10767852
著者標目リンク	*International Symposium on the Theory of Models (1963 : Berkeley, Calif.) <NC:DA04623286>
著者標目リンク	Addison, J. W. (John West), 1930- <NC:DA04623297> ed
著者標目リンク	International Symposium at Berkeley <NC:DA04623388>
著者標目リンク	Association for Symbolic Logic <NC:DA01977227>
著者標目リンク	International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science <NC:DA01979980>
分類標目	LCC:BC135
分類標目	DC:164
件名標目等	Logic, Symbolic and mathematical -- Congresses
件名標目等	Mathematical models -- Congresses

このページのTOPへ

検索結果一覧へ戻る

このページのTOPへ