福岡県立図書館
福岡県立図書館ホームページへ
簡易検索
詳細検索
資料紹介
パーソナルサービス
レファレンス
リンク集
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
本サイトではCookieを使用しています。ブラウザの設定でCookieを有効にしてください。
資料詳細
詳細蔵書検索
ジャンル検索
典拠検索
1 件中、 1 件目
ゲーデルに挑む
貸出可
田中 一之/著 -- 東京大学出版会 -- 2012.4 -- 410.9
総合評価
5段階評価の0.0
(0)
レビュー
0
新着図書お知らせサービス
予約カートへ
本棚へ
所蔵
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵館
所蔵場所
請求記号
資料コード
資料区分
帯出区分
状態
県立
書庫
/410/9/71
1107693818
一般
在架
ページの先頭へ
資料詳細
タイトル
ゲーデルに挑む
タイトルカナ
ゲーデル ニ イドム
副書名
証明不可能なことの証明
副書名カナ
ショウメイ フカノウ ナ コト ノ ショウメイ
著者
田中 一之
/著
著者カナ
タナカ カズユキ
出版地
東京
出版者
東京大学出版会
出版年
2012.4
ページ数
8,177p
大きさ
21cm
書誌年譜年表
文献:p145~147,167~169
内容紹介
「不完全性定理」として広く知られているロジックの基本的事実について、ゲーデルがはじめてその発見を公表した論文を数学的に正しく味読するためのガイドブック。
一般件名
不完全性定理
NDC分類(8版)
410.9
ISBN13
978-4-13-063900-2
本文の言語
jpn
書誌番号
1109343541
ページの先頭へ
レビュー一覧
レビューが登録されていません。
ページの先頭へ