資料詳細

【図書】ゲーデルの不完全性定理貸出可

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

所蔵

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

所蔵館	所蔵場所	棚区分	請求記号	資料コード	資料区分	帯出区分	状態	WEB書棚
山形県立	地下書庫		/410.9/ｽﾏ/	102824380	一般和書	帯出可	在庫

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