The search result is exported to RefWorks.Results 1 items.
Export
RT Book, Whole SR Print DC OPAC T1 アルゴリズムの論理学 : ロゴスの形式化理論の展開と限界 / 田代博司著 A1 田代, 博司 YR 1995 FD 1995.4 SP 252p K1 記号論理学 K1 アルゴリズム PB 北樹出版 PP 東京 SN 4893844679 LA Japanese (日本語) CL NDC8:116.3 NO 発売 : 学文社(発売) NO 文献:p244~246 NO BIBID=6000244528; NCID=BN12602935; LK [OPAC]http://lib-op2.osaka-geidai.ac.jp/opac/opac_link/bibid/6000244528 LK [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/DocDetail?hdn_if_lang=eng&txt_docid=NCID:BN12602935; [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/en/EqualFromForm?hdn_if_lang=eng&txt_isbn=4893844679 OL 58