close
1.

図書
図書
1. Two applications of logic to mathematics (ja)
by Gaisi Takeuti
出版情報: [Tokyo] : Iwanami Shoten , [Princeton, N.J.] : Princeton University Press, 1978  viii, 137 p. ; 26 cm
シリーズ名: Publications of the Mathematical Society of Japan ; 13 . Kanō memorial lectures ; 3
所蔵情報: loading…
2.

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

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

図書
図書
4. Introduction to axiomatic set theory. 2nd ed (: us ; : gw)
Gaisi Takeuti, Wilson M. Zaring
出版情報: New York ; Berlin : Springer, c1982  ix, 246 p. ; 25 cm
シリーズ名: Graduate texts in mathematics ; 1
所蔵情報: loading…
5.

図書
図書
5. Proof theory. 2nd ed
Gaisi Takeuti
出版情報: Amsterdam ; New York ; Tokyo : North-Holland , New York : Sole distributors for the U.S.A. and Canada, Elsevier Science, 1987  x, 490 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 81
所蔵情報: loading…
6.

図書
図書
6. 数学から物理学へ
竹内外史著
出版情報: 東京 : 日本評論社, 1979.3  vii, 390p ; 22cm
所蔵情報: loading…
7.

図書
図書
7. 位相幾何学
河田敬義,竹内外史著
出版情報: 東京 : 朝倉書店, 1952  250p ; 22cm
シリーズ名: 数學全書 ; 7
所蔵情報: loading…
8.

図書
図書
8. 位相幾何学. 増補再版
河田敬義,竹内外史著
出版情報: 東京 : 朝倉書店, 1957  276p ; 22cm
シリーズ名: 数學全書 ; 7
所蔵情報: loading…
9.

図書
図書
9. 数学基礎論. 3刷
竹内外史著
出版情報: 東京 : 共立出版, 1967.11  112p ; 22cm
シリーズ名: 現代数学講座 ; 1
所蔵情報: loading…
10.

図書
図書
10. 数学基礎論
竹内外史著
出版情報: 東京 : 共立出版, 1956.10  112p ; 22cm
シリーズ名: 現代数学講座 ; 1
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼