資料詳細

  • 1 件中、 1 件目

記号論理学 利用可

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

所蔵

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

所蔵館 場所 棚番号 請求記号 資料コード 貸出利用 状態
本館 書庫１上 Map B/116.3/ｼﾞｴ/614342 1106143426 閲可 貸可 協可 －

ページの先頭へ

資料詳細

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

ページの先頭へ