OPAC

タシロ, ヒロシ
田代, 博司

Codes	AuthorityID=AU80064294 NCID=DA0905886X


1	アルゴリズムの論理学 : ロゴスの形式化理論の展開と限界 / 田代博司著東京 : 北樹出版 , 1995.4