本文に飛ぶ
国立国会図書館サーチ（NDL SEARCH）
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
WebNDLA用（件名検索）
項目を閉じる
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年（西暦）
項目を閉じる
年
〜
年
開く
1960年代
(3)
1970年代
(20)
1980年代
(8)
1990年代
(14)
2000年代
(6)
2010年代
(10)
2020年代
(3)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
（64）
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
（39）
紙
（64）
マイクロ
記録メディア
すべて解除
絞り込み条件
絞り込み条件
検索結果 64 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年：古い順
出版年：新しい順
タイトル：昇順
タイトル：降順
著者：昇順
著者：降順
請求記号順
タイトルでまとめる
一括お気に入り
数学基礎論入門 新装 (朝倉復刊セレクション. 基礎数学シリーズ)
数学基礎論入門 新装 (朝倉復刊セレクション. 基礎数学シリーズ)
紙
図書
前原昭二 著
朝倉書店
2024.8
<MA41-R7>
国立国会図書館
全国の図書館
件名（識別子）
00571525
数学の盲点とその解明 2 復刻版
数学の盲点とその解明 2 復刻版
紙
図書
石谷茂 著
現代数学社
2022.3
<MA21-M265>
国立国会図書館
全国の図書館
件名（識別子）
00571525
00565709
数学基礎論 増補版
数学基礎論 増補版
紙
図書
新井敏康 著
東京大学出版会
2021.4
<MA41-M32>
国立国会図書館
全国の図書館
件名（識別子）
00571525
計算の科学と手引き (放送大学教材)
計算の科学と手引き (放送大学教材)
紙
図書
辰己丈夫, 高岡詠子 編著
放送大学教育振興会
2019.3
<MA41-M11>
国立国会図書館
全国の図書館
件名（識別子）
00571525
00565378
逆数学 : 定理から公理を「証明」する
逆数学 : 定理から公理を「証明」する
紙
図書
ジョン・スティルウェル 著, 田中一之 監訳・解説, 川辺治之 訳
森北出版
2019.2
<MA41-M2>
国立国会図書館
全国の図書館
件名（識別子）
00571525
数学基礎論序説 : 数の体系への論理的アプローチ
数学基礎論序説 : 数の体系への論理的アプローチ
紙
図書
田中一之 著
裳華房
2019.6
<MA41-M9>
国立国会図書館
全国の図書館
件名（識別子）
00571525
数学基礎論 (ちくま学芸文庫 ; マ41-1. [Math & Science])
数学基礎論 (ちくま学芸文庫 ; マ41-1. [Math & Science])
紙
デジタル
図書
前原昭二, 竹内外史 著
筑摩書房
2017.1
<MA41-L63>
国立国会図書館
全国の図書館
件名（識別子）
00571525
キューネン数学基礎論講義
キューネン数学基礎論講義
紙
図書
ケネス・キューネン 著, 藤田博司 訳
日本評論社
2016.7
<MA41-L56>
国立国会図書館
全国の図書館
件名（識別子）
00571525
その理屈、証明できますか? : 正しく命題にたどり着くための手法と思考の学び方
その理屈、証明できますか? : 正しく命題にたどり着くための手法と思考の学び方
紙
図書
Daniel J.Velleman 著, 神林靖 訳
翔泳社
2016.11
<MA21-L357>
国立国会図書館
全国の図書館
件名（識別子）
01190375
00571525
公理と証明 : 証明論への招待 (ちくま学芸文庫 ; イ37-2. [Math & Science])
公理と証明 : 証明論への招待 (ちくま学芸文庫 ; イ37-2. [Math & Science])
紙
デジタル
図書
彌永昌吉, 赤攝也 著
筑摩書房
2012.9
<MA41-J77>
国立国会図書館
全国の図書館
件名（識別子）
00571525
01190375
独習コンピュータ科学基礎 1
独習コンピュータ科学基礎 1
紙
図書
James L.Hein 著, 神林靖 訳
翔泳社
2011.6
<M154-J263>
国立国会図書館
全国の図書館
件名（識別子）
00571525
00560337
数学基礎論
数学基礎論
紙
図書
新井敏康 著
岩波書店
2011.5
<MA41-J53>
国立国会図書館
全国の図書館
件名（識別子）
00571525
数理基礎論講義 : 論理・集合・位相 (ライブラリ数理・情報系の数学講義 ; 1)
数理基礎論講義 : 論理・集合・位相 (ライブラリ数理・情報系の数学講義 ; 1)
紙
図書
金子晃 著
サイエンス社
2010.6
<MA41-J37>
国立国会図書館
全国の図書館
件名（識別子）
00571525
00565709 00573284
SEのためのモデルへのいざない : データモデルとは何か?
SEのためのモデルへのいざない : データモデルとは何か?
紙
図書
佐藤正美 著
ソフト・リサーチ・センター
2009.2
<MA41-J17>
国立国会図書館
全国の図書館
件名（識別子）
00571525
論理と計算のしくみ
論理と計算のしくみ
紙
図書
萩谷昌己, 西崎真也 著
岩波書店
2007.6
<MA41-H51>
国立国会図書館
全国の図書館
件名（識別子）
00571525
数学基礎論入門 復刊 (基礎数学シリーズ ; 23)
数学基礎論入門 復刊 (基礎数学シリーズ ; 23)
紙
図書
前原昭二 著
朝倉書店
2006.3
<MA41-H29>
国立国会図書館
全国の図書館
件名（識別子）
00571525
数学と論理 (講座<数学の考え方> ; 23)
数学と論理 (講座<数学の考え方> ; 23)
紙
図書
難波完爾 著
朝倉書店
2003.4
<MA41-H5>
国立国会図書館
全国の図書館
件名（識別子）
00571525
00565709
お話・数学基礎論 : 数学では必ず正しい結論に到達できるか? (ブルーバックス)
お話・数学基礎論 : 数学では必ず正しい結論に到達できるか? (ブルーバックス)
紙
図書
八杉満利子, 林晋 著
講談社
2002.6
<MA41-G83>
国立国会図書館
全国の図書館
件名（識別子）
00571525
数の体系と超準モデル
数の体系と超準モデル
紙
図書
田中一之 著
裳華房
2002.4
<MA41-G82>
国立国会図書館
全国の図書館
件名（識別子）
00571525
数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える
数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える
紙
図書
[ソーンダース・マックレーン] [ほか著], 田中一之 編・監訳
シュプリンガー・フェアラーク東京
1999.2
<MA41-G49>
国立国会図書館
全国の図書館
件名（識別子）
00571525
もっと見る（21件目～）
書誌情報を一括出力
RSS