資料詳細

  • 1 件中、 1 件目

ゲーデルの不完全性定理 在庫

レイモンド・スマリヤン／[著] -- 丸善 -- 1996.7 -- 410.9

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
書庫（４Ｆ） /410.12/ﾅ67/ 06304372 一般 帯出可 配架中 iLisvirtual

ページの先頭へ

資料詳細

タイトル ゲーデルの不完全性定理
責任表示 レイモンド・スマリヤン ／[著], 高橋 昌一郎 ／訳  
出版者 丸善
出版年 1996.7
ページ数 220p
大きさ 22cm
一般件名 不完全性定理
NDC分類(9版) 410.9
内容紹介 数学・哲学・情報科学の専門家ばかりでなく、この定理に関心を持つ一般読者にも十分理解できるように書かれた入門書。ゲーデルの証明、タルスキーの定理、ロッサー体系など、最も単純なものを中心に、創意工夫をこらして解説。
ISBN 4-621-04204-1
本体価格 ¥3800

ページの先頭へ