著者典拠情報

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


1.

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

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

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

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

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

図書
図書
6. 層・圏・トポス : 現代的集合像を求めて. 第1版第5刷
竹内外史著
出版情報: 東京 : 日本評論社, 1987.1
所蔵情報: loading…
7.

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

図書
図書
8. 数学から物理学へ
竹内外史著
出版情報: 東京 : 日本評論社, 1979.3
所蔵情報: loading…
9.

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

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