資料詳細

  • 1 件中、 1 件目

学んでみよう!記号論理 貸出可

高崎 金久／著 -- 日本評論社 -- 2014.8 -- 410.96

  • 総合評価
    5段階評価の0.0
    (0)
  • レビュー
    0

所蔵

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
県立 書庫 /410/96/22 1108148980 一般 　 在架 iLisvirtual

ページの先頭へ

資料詳細

タイトル学んでみよう!記号論理
タイトルカナマナンデ ミヨウ キゴウ ロンリ
著者 高崎 金久 ／著  
著者カナタカサキ カネヒサ
出版地東京
出版者日本評論社
出版年2014.8
ページ数7,212p
大きさ21cm
書誌年譜年表文献:p189
内容紹介命題論理の考え方や意味論的諸概念、命題論理の演繹体系などを解説するほか、タブロー法、ハイティング代数、ヘンキンの定理の証明も紹介する。章末に練習問題を掲載。『数学セミナー』連載「記号論理の手習い」を加筆修正。
一般件名記号論理学
NDC分類(8版) 410.96
ISBN13978-4-535-78760-5
本文の言語jpn
書誌番号1111079413

ページの先頭へ

レビュー一覧

レビューが登録されていません。

ページの先頭へ