close
1.

図書
図書
1. Axiomatic set theory (: us hard cover ; : us soft cover ; : gw soft cover)
by G. Takeuti and W.M. Zaring
出版情報: New York : Springer-Verlag, c1973
シリーズ名: Graduate texts in mathematics ; 8
所蔵情報: loading…
2.

図書
図書
2. Introduction to axiomatic set theory (: soft cover)
G. Takeuti, W.M. Zaring
出版情報: New York : Springer-Verlag, c1971
シリーズ名: Graduate texts in mathematics ; 1
所蔵情報: loading…
3.

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

図書
図書
4. 数学的世界観 : 現代数学の思想と展望
竹内外史著
出版情報: 東京 : 紀伊國屋書店, 1982.2
所蔵情報: loading…
5.

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

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

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

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

図書
図書
9. ゲーデルの夢
竹内外史著
出版情報: 名古屋 : 河合文化教育研究所 , 東京 : 河合出版(発売), 1990.8
シリーズ名: 河合ブックレット ; . 数学シリーズ||スウガク シリーズ ; 12
所蔵情報: loading…
10.

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