1.

図書
図書
1. PとNP : 計算量の根本問題
竹内外史著
出版情報: 東京 : 日本評論社, 1996.9
所蔵情報: loading…
2.

図書
図書
2. 現代集合論入門. 増補版
竹内外史著
出版情報: 東京 : 日本評論社, 1989.12
シリーズ名: 日評数学選書
所蔵情報: loading…
3.

図書
図書
3. Proof theory. 2nd ed
Gaisi Takeuti
出版情報: Amsterdam ; Tokyo : North-Holland, 1987
シリーズ名: Studies in logic and the foundations of mathematics ; v. 81
所蔵情報: loading…
4.

図書
図書
4. リー代数と素粒子論
竹内外史著
出版情報: 東京 : 裳華房, 1983.11
所蔵情報: loading…
5.

図書
図書
5. 線形代数と量子力学
竹内外史著
出版情報: 東京 : 裳華房, 1981.3
シリーズ名: 基礎数学選書 ; 24
所蔵情報: loading…
6.

図書
図書
6. 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é
出版情報: Berlin ; New York : Springer-Verlag, 1981
シリーズ名: Lecture notes in mathematics ; 891
所蔵情報: loading…
7.

図書
図書
7. 直観主義的集合論
竹内外史著
出版情報: 東京 : 紀伊国屋書店, 1980.12
シリーズ名: 紀伊國屋数学叢書 ; 20
所蔵情報: loading…
8.

図書
図書
8. 層・圏・トポス : 現代的集合像を求めて. 第1版第3刷
竹内外史著
出版情報: 東京 : 日本評論社, 1980.8
所蔵情報: loading…
9.

図書
図書
9. 数学から物理学へ
竹内外史著
出版情報: 東京 : 日本評論社, 1979.3
所蔵情報: loading…
10.

図書
図書
10. 集合とはなにか : はじめて学ぶ人のために
竹内外史著
出版情報: 東京 : 講談社, 1976.9
シリーズ名: ブルーバックス ; B-298
所蔵情報: loading…