資料詳細

検索条件

  • 分類
    913.6
ハイライト
  • 1 件中、 1 件目

記号論理・入門 　 貸出可

上江洲　忠弘／著 -- 遊星社 -- １９９９．２ -- 410.96

  • 総合評価
    5段階評価の0.0
    (0)
  

所蔵

所蔵は 1 件です。予約は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
中央 参書庫 /410.9/Ｕ４７/ 1399076874 一般書 可能 利用可

ページの先頭へ

館別所蔵

館名 所蔵数 貸出中数 貸出可能数
中央 1 0 1

ページの先頭へ

資料詳細

タイトル 記号論理・入門
著者名 上江洲　忠弘 ／著  
出版者 遊星社
出版年 １９９９．２
ページ数等 １９０ｐ
大きさ ２１ｃｍ
分類(9版) 410.96  
分類(10版) 410.96  
内容紹介 １．証明の分析　２．証明の形式化　３．証明可能性と証明図の作成　４．命題の真偽と推論規則の正しさ　５．形式的論理体系の完全性　６．許容推論図　７．推件計算〈ソフトカバー〉
テーマ 記号論理学  
ISBN 4-7952-6888-6 国立国会図書館 カーリル GoogleBooks WebcatPlus
定価 ￥２０００
本体価格 ￥２０００
特定資料種別 図書
URL https://www.library.city.hiroshima.jp/winj/opac/switch-detail.do?bibid=1100486133

ページの先頭へ