資料詳細

  • 1 件中、 1 件目

形式論理学 利用可

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

所蔵

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

所蔵館 場所 棚番号 請求記号 資料コード 貸出利用 状態
本館 ３階人文 Map 10 /116.1/ｼﾞｴ/674044 1106740445 閲可 貸可 協可 －

ページの先頭へ

資料詳細

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

ページの先頭へ