検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 アルゴリズムの論理学 : ロゴスの形式化理論の展開と限界 / 田代博司著 A1 田代, 博司(1949-) YR 1995 FD 1995.4 SP 252p K1 記号論理学 K1 アルゴリズム PB 北樹出版 PP 東京 SN 4893844679 LA Japanese (日本語) CL NDC9:116.3 CL NDC8:116.3 CL NDLC:H35 NO 発売: 学文社 (カバ-に表記) NO 参考文献: p244-246 NO 書誌ID=1000265539; NCID=BN12602935; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000265539 OL 58