検索結果をRefWorksへエクスポートします。対象は1件です。
閉じる
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 jpn CL NDC8:410.96 CL NDC9:410.96 CL NDC10:410.96 NO 監訳: 高橋昌一郎 NO 原著(A.K. Peters, 2009)の後半(Part III-Part VI)の全訳, 前半は『スマリヤン記号論理学』として発行 NO 参考文献: p189-190 NO 索引あり NO 書誌ID=BB10180124; NCID=BB1734197X; LK [OPAC]https://saosrv.kitasato-u.ac.jp/opac/opac_details/?lang=0&amode=11&bibid=BB10180124 LK OL 58