タケウチ, ガイシ
竹内, 外史(1926-)

著者名典拠詳細を表示

著者の属性 個人
場所 石川県
一般注記 イリノイ大学教授
「無限小解析と物理学」の著者
EDSRC:線型論理入門 / 竹内外史著(日本評論社, 1995.1)の奥付の記述: 理学博士、専門・数学基礎論。
Dates of Birth and Death 1926
から見よ参照 *Takeuti, Gaisi, 1926-
Takeuti, G.
Takeuchi, Gaishi
コード類 典拠ID=AU20011101  NCID=DA00113867
1 集合とはなにか : はじめて学ぶ人のために / 竹内外史著 : 新装版. - 東京 : 講談社 , 2001.5
2 ゲーデル / 竹内外史著 新版. - 東京 : 日本評論社 , 1998.9
3 PとNP : 計算量の根本問題 / 竹内外史著 東京 : 日本評論社 , 1996.9
4 証明論と計算量 / 竹内外史著 東京 : 裳華房 , 1995.11
5 線型論理入門 / 竹内外史著 東京 : 日本評論社 , 1995.1
6 ゲーデルの夢 / 竹内外史著 名古屋 : 河合文化教育研究所. - 東京 : 河合出版(発売) , 1990.8
7 現代集合論入門 / 竹内外史著 増補版. - 東京 : 日本評論社 , 1989.12
8 ゲーデル / 竹内外史著 東京 : 日本評論社 , 1986.11
9 無限小解析と物理学 / 竹内外史著 東京 : 遊星社. - 東京 : 星雲社(発売) , 1985.10
10 リー代数と素粒子論 / 竹内外史著 東京 : 裳華房 , 1983.11
11 直観主義的集合論 / 竹内外史著 2刷. - 東京 : 紀伊国屋書店 , 1982.12
12 数学的世界観 : 現代数学の思想と展望 / 竹内外史著 東京 : 紀伊國屋書店 , 1982.2
13 線形代数と量子力学 / 竹内外史著 東京 : 裳華房 , 1981.3
14 Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / edited by G.H. Müller, G. Takeuti, and T. Tugué : Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1981
15 直観主義的集合論 / 竹内外史著 東京 : 紀伊国屋書店 , 1980.12
16 数学から物理学へ / 竹内外史著 東京 : 日本評論社 , 1979.3
17 層・圏・トポス : 現代的集合像を求めて / 竹内外史著 東京 : 日本評論社 , 1978.1
18 数理論理学 : 語の問題 / 竹内外史著 東京 : 培風館 , 1973.4
19 数学基礎論の世界 : ロジックの雑記帳から / 竹内外史著 東京 : 日本評論社 , 1972.5
20 現代集合論入門 / 竹内外史著 東京 : 日本評論社 , 1971
21 数学基礎論 / 竹内外史著 東京 : 共立出版 , 1956