検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 スマリヤン数理論理学 : 述語論理と完全性定理 OT Logical labyrinths A1 Smullyan, Raymond M., 1919- A1 村上, 祐子(1968-) A1 高橋, 昌一郎(1959-) YR 2014 FD 2014.11 SP iv, 196p K1 記号論理学 PB 丸善出版 PP 東京 SN 9784621087855 LA Japanese (日本語) CL NDC8:410.96 CL NDC9:410.96 NO 監訳: 高橋昌一郎 NO 原著(A.K. Peters, 2009)の後半(Part III-Part VI)の全訳, 前半は『スマリヤン記号論理学』として発行 NO 参考文献: p189-190 NO 索引あり NO 異なりアクセスタイトル:数理論理学 : スマリヤン : 述語論理と完全性定理 NO 書誌ID=BB12880865; NCID=BB1734197X; LK https://doors.doshisha.ac.jp/opac/opac_details/?lang=0&amode=11&bibid=BB12880865 DS 同志社大学OPAC OL 58