国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
WebNDLA用(著者名・著作)
項目を閉じる
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1950年代
(1)
1970年代
(9)
1980年代
(11)
1990年代
(6)
2000年代
(4)
2010年代
(3)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(33)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(20)
紙
(33)
マイクロ
記録メディア
(1)
すべて解除
絞り込み条件
絞り込み条件
検索結果 33 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
数学基礎論 (ちくま学芸文庫 ; マ41-1. [Math & Science])
数学基礎論 (ちくま学芸文庫 ; マ41-1. [Math & Science])
紙
デジタル
図書
前原昭二, 竹内外史 著
筑摩書房
2017.1
<MA41-L63>
国立国会図書館
全国の図書館
著者標目(識別子)
00039469
00080185
Proof theory Second edition. (Dover books on mathematics)
Proof theory Second edition. (Dover books on mathematics)
紙
図書
Gaisi Takeuti.
Dover Publications
2013.
<MA41-B46>
国立国会図書館
著者標目(識別子)
00080185
証明論入門 復刊
証明論入門 復刊
紙
図書
竹内外史, 八杉満利子 共著
共立出版
2010.6
<MA41-J39>
国立国会図書館
全国の図書館
著者標目(識別子)
00080185
00095542
直観主義的集合論 オンデマンド版 (紀伊國屋数学叢書 ; 20)
直観主義的集合論 オンデマンド版 (紀伊國屋数学叢書 ; 20)
紙
図書
竹内外史 著
紀伊國屋書店
2008.9
<MA41-J26>
国立国会図書館
全国の図書館
著者標目(識別子)
00080185
Memoirs of a proof theorist : Gödel and other logicians / [Gaisi Takeuti ; translated by] Mariko Yasugi, Nicholas Passell.
Memoirs of a proof theorist : Gödel and other logicians / [Gaisi Takeuti ; translated by] Mariko Yasugi, Nicholas Passell.
紙
図書
World Scientific
c2003.
<MA25-B6>
国立国会図書館
著者標目(識別子)
00080185
集合とはなにか : はじめて学ぶ人のために 新装版 (ブルーバックス)
集合とはなにか : はじめて学ぶ人のために 新装版 (ブルーバックス)
紙
記録メディア
デジタル
図書
障害者向け資料あり
竹内外史 著
講談社
2001.5
<MA41-G70>
国立国会図書館
全国の図書館
著者標目(識別子)
00080185
無限小解析と物理学 第2版
無限小解析と物理学 第2版
紙
図書
竹内外史 著
遊星社
2001.5
<MA111-G41>
国立国会図書館
全国の図書館
著者標目(識別子)
00080185
ゲーデル 新版
ゲーデル 新版
紙
図書
竹内外史 著
日本評論社
1998.9
<MA25-G33>
国立国会図書館
全国の図書館
著者標目(識別子)
00080185
PとNP : 計算量の根本問題
PとNP : 計算量の根本問題
紙
図書
竹内外史 著
日本評論社
1996.9
<MA41-G22>
国立国会図書館
全国の図書館
著者標目(識別子)
00080185
証明論と計算量
証明論と計算量
紙
図書
竹内外史 著
裳華房
1995.11
<MA41-G9>
国立国会図書館
全国の図書館
著者標目(識別子)
00080185
線型論理入門
線型論理入門
紙
デジタル
図書
竹内外史 著
日本評論社
1995.1
<MA41-E88>
国立国会図書館
全国の図書館
著者標目(識別子)
00080185
ゲーデルの夢 : 数学 (河合ブックレット. 数学シリーズ ; 12)
ゲーデルの夢 : 数学 (河合ブックレット. 数学シリーズ ; 12)
紙
デジタル
図書
竹内外史 著
河合文化教育研究所
1990.8
<MA41-E40>
国立国会図書館
全国の図書館
著者標目(識別子)
00080185
証明論入門
証明論入門
紙
デジタル
図書
竹内外史, 八杉満利子 共著
共立出版
1988.2
<MA41-E8>
国立国会図書館
全国の図書館
著者標目(識別子)
00080185
00095542
現代集合論入門 増補版 (日評数学選書)
現代集合論入門 増補版 (日評数学選書)
紙
デジタル
図書
竹内外史 著
日本評論社
1989.12
<MA41-E60>
国立国会図書館
全国の図書館
著者標目(識別子)
00080185
ゲーデル
ゲーデル
紙
デジタル
図書
竹内外史 著
日本評論社
1986.11
<MA25-126>
国立国会図書館
全国の図書館
著者標目(識別子)
00080185
無限小解析と物理学
無限小解析と物理学
紙
デジタル
図書
竹内外史 著
遊星社
1985.10
<MA111-99>
インターネットで読める
国立国会図書館
全国の図書館
著者標目(識別子)
00080185
Introduction to axiomatic set theory / Gaisi Takeuti, Wilson M. Zaring. 2nd ed. (Graduate texts in mathematics ; 1)
Introduction to axiomatic set theory / Gaisi Takeuti, Wilson M. Zaring. 2nd ed. (Graduate texts in mathematics ; 1)
紙
図書
Springer-Verlag
c1982.
<MA41-166>
国立国会図書館
著者標目(識別子)
00080185
リー代数と素粒子論
リー代数と素粒子論
紙
デジタル
図書
竹内外史 著
裳華房
1983.11
<MA67-81>
国立国会図書館
全国の図書館
著者標目(識別子)
00080185
数学的世界観 : 現代数学の思想と展望
数学的世界観 : 現代数学の思想と展望
紙
デジタル
図書
竹内外史 著
紀伊国屋書店
1982.2
<MA21-179>
国立国会図書館
全国の図書館
著者標目(識別子)
00080185
Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / edited by G.H. Müller, G. Takeuti, and T. Tugué. (Lecture notes in mathematics ; 891)
Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / edited by G.H. Müller, G. Takeuti, and T. Tugué. (Lecture notes in mathematics ; 891)
紙
図書
Springer-Verlag
1981.
<MA41-182>
国立国会図書館
著者標目(識別子)
00080185
00743996
もっと見る(21件目~)
書誌情報を一括出力