検索結果を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=BB00994259; NCID=BN12602935; LK https://doors.doshisha.ac.jp/opac/opac_details/?lang=0&amode=11&bibid=BB00994259 DS 同志社大学OPAC OL 58