横浜市立図書館蔵書検索ページ
トップメニュー
詳細検索
ジャンル検索
新着・本紹介
お知らせ
レファレンス
(調べもの・相談)
Myライブラリ
トップメニュー
>
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細検索
ジャンル検索
1 件中、 1 件目
【図書】
ゲーデル
新版 --
竹内外史
/著 --
日本評論社 -- 1998.09 -- 20cm -- 194p
予約申込
本棚へ
資料詳細
タイトル
ゲーデル
版情報
新版
著者名等
竹内外史
/著
出版
日本評論社 1998.09
大きさ等
20cm 194p
分類
410.28
個人件名
ゲーデル クルト
内容
年表あり
目次
ゲーデルについて;ベルナイスとゲーデルの業績;ヒルベルトとゲーデル;ロジシャン小伝;集合論とその周辺;ヒルベルトからゲーデルへ;算術の公理と無矛盾性―ヒルベルトの第2問題;ゲーデル’96に出席して;『思い出のゲーデル』を読んで;ゲーデルからフォン・ノイマンへの手紙;ゲーデルの母への手紙;クルト・ゲーデル先生を悼む
ISBN(13)、ISBN
4-535-78259-8
書誌番号
1198050311
ページの先頭へ
所蔵
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵館
所蔵場所
別置
請求記号
資料区分
状態
取扱
資料コード
中央
書庫
410.2/111
一般書
利用可
-
2015479798
ページの先頭へ