資料詳細

  • 1 件中、 1 件目

記号論理・入門 貸出可

上江洲 忠弘／著 -- 遊星社 -- 1999.2 -- 410.96

所蔵

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

所蔵館 所蔵場所 請求記号 資料番号 資料区分 帯出区分 状態
一般 公開書庫東 410.9/99/ 00008289746 和書 帯出可 在庫 iLisvirtual

ページの先頭へ

資料詳細

タイトル 記号論理・入門 ,
書名ヨミ キゴウ　ロンリ　ニュウモン
著者 上江洲 忠弘 ／著  
著者名ヨミ ウエス,タダヒロ
出版者 遊星社
出版年 1999.2
ページ数, 大きさ 190p, 21cm
NDC１０版 410.96
NDC８版 410.96
一般件名 記号論理学
内容紹介 1.証明の分析 2.証明の形式化 3.証明可能性と証明図の作成 4.命題の真偽と推論規則の正しさ 5.形式的論理体系の完全性 6.許容推論図 7.推件計算<ソフトカバー>

ページの先頭へ