資料詳細

  • 1 件中、 1 件目

形式論理学 貸出可

リチャード・ジェフリー／著 -- 産業図書 -- 1995.3 -- 116.1

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
地下書庫 /116.1/ｼﾞ/ 112781968 成人一般 可能 iLisvirtual

ページの先頭へ

資料詳細

タイトル 形式論理学
タイトルカナ ケイシキ ロンリガク
副書名 その展望と限界
著者 リチャード・ジェフリー ／著, 戸田山 和久 ／訳  
著者カナ ジェフリー リチャード,トダヤマ カズヒサ
出版者 産業図書
出版年 1995.3
ページ数 224p
大きさ 21cm
一般件名 論理学
ISBN 4-7828-0092-4 国立国会図書館 カーリル GoogleBooks WebcatPlus
分類記号 116.1
内容紹介 初心者向けに書かれた形式論理学書。命題論理から、ゲーデルの不完全性定理やチャーチ=チューリングの定理等までを取り扱っている。

ページの先頭へ