検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 完全性定理とモデル理論 / 田中一之編 T2 ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 A1 田中, 一之 YR 2006 FD 2006.10 SP xii, 286p K1 Gödel, Kurt K1 数学基礎論 -- 歴史 K1 記号論理学 -- 歴史 K1 モデルの理論 PB 東京大学出版会 PP 東京 SN 4130640968 LA Japanese (日本語) CL NDC8:410.9 CL NDC9:410.9 NO 欧文タイトルは標題紙裏による NO 参考文献: 各部末 NO 書誌ID=BB00121108; NCID=BA78934027; LK [OPAC]https://nieropac.nier.go.jp/opac/opac_link/bibid/BB00121108 LK [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/DocDetail?hdn_if_lang=jpn&txt_docid=NCID:BA78934027; [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/EqualFromForm?txt_isbn=4130640968 OL 58