DOORS（同志社大学図書館）

カンゼンセイテイリトモデルリロン
完全性定理とモデル理論 / 田中一之編
(ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 2)

配架場所	巻　次	請求記号	資料番号	状　態	コメント	予約	文庫区分	教員指定/教員執筆/多読	仮想書架
今出川図書館学外倉庫		410.9\|\|T9366\|\|2	069108113			予約			仮想書架	予約	仮想書架
ラーネッド記念図書館第2開架		410.9\|\|T9366\|\|2	069203796			予約			仮想書架	予約	仮想書架

書誌ID	BB10201290
本文言語	日本語
別書名	その他のタイトル:Completeness theorem and model theory
一般注記	欧文タイトルは標題紙裏による参考文献: 各部末
著者標目	田中, 一之 <タナカ, カズユキ>
件　名	BSH:Gödel, Kurt BSH:数学基礎論 -- 歴史全ての件名で検索 BSH:記号論理学 -- 歴史全ての件名で検索 BSH:モデルの理論
分　類	NDC8:410.9 NDC9:410.9
巻冊次	ISBN:4130640968 ; PRICE:3800円+税 RefWorks出力（各巻）
NCID	BA78934027

目次・あらすじ