検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ / 照井一成著 A1 照井, 一成(1971-) YR 2015 FD 2015.3 SP 357p K1 記号論理学 K1 情報科学 PB 青土社 PP 東京 SN 9784791768516 LA Japanese (日本語) CL NDC8:410.96 CL NDC9:410.96 NO 文献一覧: p345-352 NO 書誌ID=2000109410; NCID=BB18264240; LK [OPAC]https://lib.asahikawa-med.ac.jp/opac/opac_link/bibid/2000109410 OL 58