close
1.

図書
図書
1. 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…
2.

図書
図書
2. 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…
3.

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

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

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

図書
図書
6. 無限小解析と物理学
竹内外史著
出版情報: 東京 : 遊星社 , 東京 : 星雲社 (発売), 1985.10  220p ; 22cm
所蔵情報: loading…
7.

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

図書
図書
8. 証明論入門
竹内外史, 八杉満利子共著
出版情報: 東京 : 共立出版, 1988.2  2, 2, 191p ; 22cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼