検索結果をRefWorksへエクスポートします。対象は1件です。
閉じる
RT Book, Whole SR Print DC OPAC T1 証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで : 決定版数理論理学の完全解説 T2 知の扉シリーズ A1 小島, 寛之(1958-) YR 2017 FD 2017.2 SP 351p K1 記号論理学 K1 証明(数学) PB 技術評論社 PP 東京 SN 9784774186641 LA jpn CL NDC8:410.96 CL NDC9:410.96 NO 文献:p346〜347 NO 書誌ID=BB10146780; NCID=BB22871983; LK [OPAC]https://saosrv.kitasato-u.ac.jp/opac/opac_details/?lang=0&amode=11&bibid=BB10146780 LK OL 58