資料詳細

  • 1 件中、 1 件目

形式論理学 貸出可

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

所蔵

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

所蔵館 所蔵場所 請求記号 資料番号 資料区分 帯出区分 状態
一般 公開書庫東 116.1/95/ 00002416428 和書 帯出可 在庫 iLisvirtual

ページの先頭へ

資料詳細

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

ページの先頭へ