改訳版 --
Raymond Smullyan /〔著〕, 高橋昌一郎 /監訳, 川辺治之 /訳, 村上祐子 /訳   -- 丸善出版 -- 2019.12 -- 21cm -- 178p

資料詳細

タイトル スマリヤン不完全性定理
版情報 改訳版
著者名等 Raymond Smullyan /〔著〕, 高橋昌一郎 /監訳, 川辺治之 /訳, 村上祐子 /訳  
出版 丸善出版 2019.12
大きさ等 21cm 178p
分類 410.9
件名 ゲーデルの定理
注記 原タイトル:Godel’s Incompleteness Theorems
注記 初版のタイトル等:ゲーデルの不完全性定理(丸善 1996年刊)
注記 文献あり 索引あり
目次 ゲーデルの証明の基礎概念;算術におけるタルスキーの定理;べき乗に基づくペアノ算術における不完全性;べき乗に基づかない算術;ω無矛盾性に基づくゲーデルの証明;ロッサー体系;シェファードソンの表現定理;定義可能性と対角化;無矛盾性の証明不可能性;証明可能性と真理性に関する一般概念;自己言及体系
ISBN(13)、ISBN 978-4-621-30478-5   4-621-30478-X
書誌番号 1113751424
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1113751424

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 4階自然科学 Map 410.9 一般書 利用可 - 2065726214 iLisvirtual