資料詳細

  • 1 件中、 1 件目

【図書】 記号論理学

その展望と限界をさぐる -- 第３版 --
リチャード・ジェフリー ／著, 戸田山和久 ／訳, 　   -- マグロウヒル出版 -- １９９２．１２ -- ２１ｃｍ -- ２５６ｐ

資料詳細

タイトル 記号論理学
副書名 その展望と限界をさぐる
版情報 第３版
著者名等 リチャード・ジェフリー ／著, 戸田山和久 ／訳, 　  
出版 マグロウヒル出版 １９９２．１２
大きさ等 ２１ｃｍ ２５６ｐ
分類 410.96
件名 記号論理学
要旨 本書は、初心者向けに書かれた記号論理学書で、命題論理から、ゲーデルの不完全性定理やチャーチ＝チューリングの定理等までを取り扱っています。
目次 第１章　真理関数的論理；第２章　真理の木；第３章　一般性；第４章　重なりあった一般性；第５章　同一性；第６章　関数；第７章　計算不可能性；第８章　決定不可能性；第９章　不完全性
ISBN(13)、ISBN 　　 4-89501-437-1
書誌番号 1194063173
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1194063173

ページの先頭へ

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 410.9/207 一般書 利用可 - 2001508078 iLisvirtual

ページの先頭へ