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

著者名典拠詳細を表示

コード類 典拠ID=AU80064294  NCID=DA0905886X
1 アルゴリズムの論理学 : ロゴスの形式化理論の展開と限界 / 田代博司著 東京 : 北樹出版 , 1995.4