著者典拠情報

著者標目形：
竹内, 外史(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
所蔵情報: 図書館
updating availability status information…