資料詳細

  • 1 件中、 1 件目

学んでみよう!記号論理 利用可

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

所蔵

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

所蔵館 場所 棚番号 請求記号 資料コード 貸出利用 状態
本館 ４階自然 Map 11 /410.96/ﾀｶ/1098906 1110989069 閲可 貸可 協可 －

ページの先頭へ

資料詳細

タイトル 学んでみよう!記号論理
著者 高崎 金久 ／著  
出版地 東京
出版者 日本評論社
出版年 2014.8
ページ数 7,212p
大きさ 21cm
一般件名 記号論理学
内容紹介 命題論理の考え方や意味論的諸概念、命題論理の演繹体系などを解説するほか、タブロー法、ハイティング代数、ヘンキンの定理の証明も紹介する。章末に練習問題を掲載。『数学セミナー』連載「記号論理の手習い」を加筆修正。
ISBN13桁 978-4-535-78760-5 国立国会図書館 カーリル GoogleBooks WebcatPlus
分類番号 410.96

ページの先頭へ