青森県立図書館
>読み上げ・色変換・文字サイズ
>閉じる
トップメニュー
資料検索
資料紹介
お知らせ一覧
Myライブラリ
トップメニュー
>
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細蔵書検索
よくある検索
1 件中、 1 件目
ゲーデルに挑む
田中 一之/著 -- 東京大学出版会 -- 2012.4 -- 410.9
SDI
予約かごへ
本棚へ
所蔵
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵館
所蔵場所
請求記号
資料コード
資料区分
帯出区分
状態
県立
集密2(X42)
主配架/410.9/タナカ*カ/
10214347433
一般図書
書架
ページの先頭へ
資料詳細
タイトル
ゲーデルに挑む
副書名
証明不可能なことの証明
著者
田中 一之
/著
出版者
東京大学出版会
出版年
2012.4
ページ数
8,177p
大きさ
21cm
一般件名
不完全性定理
NDC分類(9版)
410.9
内容紹介
「不完全性定理」として広く知られているロジックの基本的事実について、ゲーデルがはじめてその発見を公表した論文を数学的に正しく味読するためのガイドブック。
ISBN
4-13-063900-2
ISBN13桁
978-4-13-063900-2
ページの先頭へ