著者典拠情報

著者標目形：
竹内, 外史(1926-)||タケウチ, ガイシ
属性：
Personal
場所：
石川県
日付：
1926
から見よ参照形：
*Takeuti, Gaisi, 1926-
Takeuti, G.
Takeuchi, Gaishi
注記：
イリノイ大学教授
「無限小解析と物理学」の著者
EDSRC:線型論理入門 / 竹内外史著(日本評論社, 1995.1)の奥付の記述: 理学博士、専門・数学基礎論。
著者典拠ID：
DA00113867


1.

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

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

図書
図書
3. 証明論と計算量
竹内外史著
出版情報: 東京 : 裳華房, 1995.11
所蔵情報: 図書館
4.

図書
図書
4. 証明論入門
竹内外史, 八杉満利子共著
出版情報: 東京 : 共立出版, 1988.2
所蔵情報: 図書館
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
シリーズ名: Studies in logic and the foundations of mathematics ; v. 81
所蔵情報: 図書館, 研究室
6.

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

図書
図書
7. 無限小解析と物理学
竹内外史著
出版情報: 東京 : 遊星社 , 東京 : 星雲社 (発売), 1985.10
所蔵情報: 図書館
8.

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

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

図書
図書
10. Introduction to axiomatic set theory. 2nd ed (: us ; : gw ; : pbk.)
Gaisi Takeuti, Wilson M. Zaring
出版情報: New York ; Berlin : Springer, c1982
シリーズ名: Graduate texts in mathematics ; 1
所蔵情報: 図書館
11.

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

図書
図書
12. Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 (: Berlin ; : New York)
edited by G.H. Müller, G. Takeuti, and T. Tugué
出版情報: Berlin ; New York : Springer-Verlag, 1981
シリーズ名: Lecture notes in mathematics ; 891
所蔵情報: 図書館
13.

図書
図書
13. 直観主義的集合論
竹内外史著
出版情報: 東京 : 紀伊國屋書店, 1980.12
シリーズ名: 紀伊國屋数学叢書 ; 20
所蔵情報: 図書館, 研究室
14.

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

図書
図書
15. 数学から物理学へ
竹内外史著
出版情報: 東京 : 日本評論社, 1979.3
所蔵情報: 図書館, 研究室
16.

図書
図書
16. Two applications of logic to mathematics (: ja ; : us)
by Gaisi Takeuti
出版情報: [Tokyo] : Iwanami Shoten , [Princeton, N.J.] : Princeton University Press, 1978
シリーズ名: Publications of the Mathematical Society of Japan ; 13 . Kanō memorial lectures ; 3
所蔵情報: 図書館
17.

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

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

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

図書
図書
20. 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
シリーズ名: Graduate texts in mathematics ; 8
所蔵情報: 図書館, 研究室
21.

図書
図書
21. 数学基礎論の世界 : ロジックの雑記帳から
竹内外史著
出版情報: 東京 : 日本評論社, 1972.5
所蔵情報: 図書館
22.

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

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

図書
図書
24. 数学基礎論. 3刷
竹内外史著
出版情報: 東京 : 共立出版, 1967.11
シリーズ名: 現代数学講座 ; 1
所蔵情報: 図書館
25.

図書
図書
25. 位相幾何学. 増補版
河田敬義, 竹内外史共著
出版情報: 東京 : 朝倉書店, 1955.12
シリーズ名: 数學全書
所蔵情報: 図書館
26.

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

図書
図書
27. 自然数論. 改訂増補版
河田敬義, 竹内外史著
出版情報: 東京 : 河出書房, 1951.9
所蔵情報: 図書館