ロゴスの形式化理論の展開と限界 --
田代博司 /著   -- 北樹出版 -- 1995.04 -- 22cm -- 252p

資料詳細

タイトル アルゴリズムの論理学
副書名 ロゴスの形式化理論の展開と限界
著者名等 田代博司 /著  
出版 北樹出版 1995.04
大きさ等 22cm 252p
分類 116.3
件名 記号論理学
注記 参考文献:p244~246
目次 第1章 論理学についての序章的考察;第2章 論理学と推論のアルゴリズム;第3章 命題論理学と推論のアルゴリズム:真理表作成法;第4章 命題論理学:自然演繹法;第5章 述語論理学と推論のアルゴリズム;第6章 人間と論理
ISBN(13)、ISBN    4-89384-467-9
書誌番号 1195017381

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 116.3/18 一般書 利用可 - 2003673050 iLisvirtual