1.

図書
図書
1. ゲーデル
竹内外史著
出版情報: 東京 : 日本評論社, 1986.11
所蔵情報: loading…
2.

図書
図書
2. Proof theory
Gaisi Takeuti
出版情報: Amsterdam : North-Holland Pub. Co , New York : American Elsevier Pub. Co., 1975
シリーズ名: Studies in logic and the foundations of mathematics ; v. 81
所蔵情報: loading…
3.

図書
図書
3. 数学基礎論
竹内外史著
出版情報: 東京 : 共立出版, 1956
シリーズ名: 現代数学講座 ; 1-A
所蔵情報: loading…
4.

図書
図書
4. Introduction to axiomatic set theory. 2nd ed
Gaisi Takeuti, Wilson M. Zaring
出版情報: New York : Springer-Verlag, c1982
シリーズ名: Graduate texts in mathematics ; 1
所蔵情報: loading…
5.

図書
図書
5. 数理論理学 : 語の問題
竹内外史著
出版情報: 東京 : 培風館, 1973.4
シリーズ名: 数理科学シリーズ ; 7
所蔵情報: loading…
6.

図書
図書
6. 数学基礎論
前原昭二, 竹内外史著
出版情報: 東京 : 筑摩書房, 2017.1
シリーズ名: ちくま学芸文庫 ; [マ-41-1]
所蔵情報: loading…
7.

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

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

図書
図書
9. 証明論入門
竹内外史, 八杉満利子共著
出版情報: 東京 : 共立出版, 1988.2
所蔵情報: loading…
10.

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