検索結果書誌詳細

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

書誌情報

書名

ゲーデルの不完全性定理     

著者名 レイモンド・スマリヤン/[著]   高橋 昌一郎/訳
出版者 丸善
出版年月 1996.7


この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

  

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。


マイ本棚へ追加ログインメモ


資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館 資料番号 請求記号 配架場所 所蔵棚番号 資料種別 帯出区分 状態 付録 貸出
1 中央図書館0117212498410.9/ス/書庫3一般図書一般貸出在庫  

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

レイモンド・スマリヤン 高橋 昌一郎
2016
E E

書誌詳細

この資料の書誌詳細情報です。

タイトルコード 1001000954797
書誌種別 図書
書名 ゲーデルの不完全性定理     
書名ヨミ ゲーデル ノ フカンゼンセイ テイリ 
著者名 レイモンド・スマリヤン/[著]
著者名ヨミ レイモンド スマリヤン
著者名 高橋 昌一郎/訳
著者名ヨミ タカハシ ショウイチロウ
出版者 丸善
出版年月 1996.7
ページ数 220p
大きさ 22cm
分類記号 410.9
分類記号 410.9
ISBN 4-621-04204-1
内容紹介 数学・哲学・情報科学の専門家ばかりでなく、この定理に関心を持つ一般読者にも十分理解できるように書かれた入門書。ゲーデルの証明、タルスキーの定理、ロッサー体系など、最も単純なものを中心に、創意工夫をこらして解説。
著者紹介 1919年生まれ。シカゴ大学哲学科卒業。プリンストン大学等の教職を経て、92年よりインディアナ大学哲学科名誉教授。専門は論理学。多数の著書・論文がある。
件名 不完全性定理
言語区分 日本語

(他の紹介)内容紹介 くろくまくんはいもほりにきています。「うんとこ、こらしょ」おいもはなかなかぬけません。
(他の紹介)著者紹介 たかい よしかず
 1961年3月5日、大阪府堺市生まれ。大阪芸術大学デザイン学科卒業。(株)京田クリエーション入社。2001年、2003年、2006年、2011年ボローニャ国際絵本原画展入選。明治「マーブルチョコレート」キャラクターの「マーブルわんちゃん」、兵庫県西宮市観光キャラクター「みやたん」など、多くのキャラクターデザインを手がけるとともに、イラストレーターとしても活躍している。招き猫とダルマを合体させた世界一おめでたいキャラクター「ネコダルマンワールド」を展開(本データはこの書籍が刊行された当時に掲載されていたものです)


内容細目表

前のページへ

本文はここまでです。


ページの終わりです。