資料詳細

  • 1 件中、 1 件目

記号論理学 貸出可

R.ジェフリー／著 -- マグロウヒル出版 -- 1992.12 -- 116.3

所蔵

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

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

ページの先頭へ

資料詳細

タイトル 記号論理学
タイトルカナ キゴウ ロンリガク
副書名 その展望と限界をさぐる
著者 R.ジェフリー ／著, 戸田山 和久 ／訳  
著者カナ ジェフリー リチャード,トダヤマ カズヒサ
出版者 マグロウヒル出版
出版年 1992.12
ページ数 224p
大きさ 21cm
一般件名 記号論理学
ISBN 4-89501-437-1 国立国会図書館 カーリル GoogleBooks WebcatPlus
分類記号 116.3
内容紹介 初心者向けに書かれた記号論理学書で、命題論理からゲーテルの不完全性定理やチャーチ=チューリングの定理等までを扱う。真理の木の方法(タズローの方法)と呼ばれる、わかりやすい考え方に基づき、寄り道せずに今世紀に展開した論理学の基礎を把握できる。

ページの先頭へ