国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
WebNDLA用(件名検索)
項目を閉じる
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1980年代
(4)
1990年代
(15)
2000年代
(8)
2010年代
(9)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(36)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(16)
紙
(36)
マイクロ
記録メディア
すべて解除
絞り込み条件
絞り込み条件
検索結果 36 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌
山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌
紙
デジタル
図書
田中一之 著, バラマツヒトミ 絵
日本評論社
2019.12
<MA41-M18>
国立国会図書館
全国の図書館
件名(識別子)
00562524
00565709
スマリヤン不完全性定理 改訳版
スマリヤン不完全性定理 改訳版
紙
図書
Raymond Smullyan [著], 高橋昌一郎 監訳, 川辺治之, 村上祐子 訳
丸善出版
2019.12
<MA41-M19>
国立国会図書館
全国の図書館
件名(識別子)
00562524
スマリヤンのゲーデル・パズル : 論理パズルから不完全性定理へ
スマリヤンのゲーデル・パズル : 論理パズルから不完全性定理へ
紙
図書
レイモンド・M・スマリヤン 著, 川辺治之 訳
日本評論社
2014.11
<MA41-L38>
国立国会図書館
全国の図書館
件名(識別子)
00562524
不完全性定理
不完全性定理
紙
図書
菊池誠 著
共立出版
2014.10
<MA41-L33>
国立国会図書館
全国の図書館
件名(識別子)
00562524
今度こそわかるゲーデル不完全性定理
今度こそわかるゲーデル不完全性定理
紙
デジタル
図書
本橋信義 著
講談社
2012.3
<MA41-J63>
国立国会図書館
全国の図書館
件名(識別子)
00562524
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと (ブルーバックス ; B-1810)
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと (ブルーバックス ; B-1810)
紙
デジタル
図書
竹内薫 著
講談社
2013.4
<MA41-L11>
国立国会図書館
全国の図書館
件名(識別子)
00562524
00621580
ゲーデルに挑む : 証明不可能なことの証明
ゲーデルに挑む : 証明不可能なことの証明
紙
図書
田中一之 著
東京大学出版会
2012.4
<MA41-J73>
国立国会図書館
全国の図書館
件名(識別子)
00562524
ゲーデルの定理 : 利用と誤用の不完全ガイド
ゲーデルの定理 : 利用と誤用の不完全ガイド
紙
図書
トルケル・フランセーン [著], 田中一之 訳
みすず書房
2011.3
<MA41-J51>
国立国会図書館
全国の図書館
件名(識別子)
00562524
ゲーデル不完全性発見への道 (双書・大数学者の数学 ; 6)
ゲーデル不完全性発見への道 (双書・大数学者の数学 ; 6)
紙
図書
北田均 著
現代数学社
2011.5
<MA41-J55>
国立国会図書館
全国の図書館
件名(識別子)
00562524
00549746
不完全性定理と算術の体系 (ゲーデルと20世紀の論理学 ; 3)
不完全性定理と算術の体系 (ゲーデルと20世紀の論理学 ; 3)
紙
図書
田中一之 編
東京大学出版会
2007.3
<MA41-H46>
国立国会図書館
全国の図書館
件名(識別子)
00562524
理性の限界 : 不可能性・不確定性・不完全性 (講談社現代新書)
理性の限界 : 不可能性・不確定性・不完全性 (講談社現代新書)
紙
デジタル
図書
障害者向け資料あり
高橋昌一郎 著
講談社
2008.6
<H35-J5>
国立国会図書館
全国の図書館
件名(識別子)
00569686 00563607
00562524
数学基礎論 4訂版 (放送大学教材 ; 2008)
数学基礎論 4訂版 (放送大学教材 ; 2008)
紙
図書
隈部正博 著
放送大学教育振興会
2008.3
<MA41-J6>
国立国会図書館
全国の図書館
件名(識別子)
00562524
スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論
スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論
紙
図書
レイモンド・スマリヤン 著, 田中朋之, 長尾確 訳
白揚社
2008.5
<MA41-J8>
国立国会図書館
全国の図書館
件名(識別子)
00562524
完全性定理とモデル理論 (ゲーデルと20世紀の論理学 ; 2)
完全性定理とモデル理論 (ゲーデルと20世紀の論理学 ; 2)
紙
図書
田中一之 編
東京大学出版会
2006.10
<MA41-H40>
国立国会図書館
全国の図書館
件名(識別子)
00562524
00567757
不完全性定理 : 数学的体系のあゆみ (ちくま学芸文庫)
不完全性定理 : 数学的体系のあゆみ (ちくま学芸文庫)
紙
デジタル
図書
野崎昭弘 著
筑摩書房
2006.5
<MA41-H32>
国立国会図書館
全国の図書館
件名(識別子)
00562524
不完全性定理 (岩波文庫)
不完全性定理 (岩波文庫)
紙
図書
ゲーデル [著], 林晋, 八杉満利子 訳・解説
岩波書店
2006.9
<MA41-H36>
国立国会図書館
全国の図書館
件名(識別子)
00562524
数学基礎論 3訂版 (放送大学教材 ; 2003)
数学基礎論 3訂版 (放送大学教材 ; 2003)
紙
図書
隈部正博 著
放送大学教育振興会
2003.3
<MA41-H9>
国立国会図書館
全国の図書館
件名(識別子)
00562524
ゲーデルの哲学 : 不完全性定理と神の存在論 (講談社現代新書)
ゲーデルの哲学 : 不完全性定理と神の存在論 (講談社現代新書)
紙
デジタル
図書
高橋昌一郎 著
講談社
1999.8
<MA41-G54>
国立国会図書館
全国の図書館
件名(識別子)
00562524
ゲーデルは何を証明したか : 数学から超数学へ
ゲーデルは何を証明したか : 数学から超数学へ
紙
図書
E.ナーゲル, J.R.ニューマン 著, 林一 訳
白揚社
1999.3
<MA41-G48>
国立国会図書館
全国の図書館
件名(識別子)
00562524
数学基礎論 : ゲーデルの不完全性定理 改訂版 (放送大学教材 ; 1999)
数学基礎論 : ゲーデルの不完全性定理 改訂版 (放送大学教材 ; 1999)
紙
図書
隈部正博 著
放送大学教育振興会
1999.3
<MA41-G59>
国立国会図書館
全国の図書館
件名(識別子)
00562524
もっと見る(21件目~)
書誌情報を一括出力