タケウチ, ガイシ
竹内, 外史(1926-)
著者名典拠詳細を非表示
| 著者の属性 | 個人 |
|---|---|
| 出生地等 | 石川県 |
| 一般注記 | イリノイ大学教授 「無限小解析と物理学」の著者 EDSRC:線型論理入門 / 竹内外史著(日本評論社, 1995.1)の奥付の記述: 理学博士、専門・数学基礎論。 |
| 生没年等 | 1926 |
| 別名 | *Takeuti, Gaisi, 1926- Takeuti, G. Takeuchi, Gaishi |
| コード類 | 典拠ID=AU00002123 NCID=DA00113867 |
| 1 | 証明論入門 / 竹内外史, 八杉満利子共著 復刊. - 東京 : 共立出版 , 2010.6 |
| 2 | 線形代数と量子力学 / 竹内外史著 東京 : 裳華房 , 2009.3 |
| 3 | 集合とはなにか : はじめて学ぶ人のために / 竹内外史著 : 新装版. - 東京 : 講談社 , 2001.5 |
| 4 | 無限小解析と物理学 / 竹内外史著 第2版. - 東京 : 遊星社. - 東京 : 星雲社 (発売) , 2001.5 |
| 5 | ゲーデル / 竹内外史著 新版. - 東京 : 日本評論社 , 1998.9 |
| 6 | PとNP : 計算量の根本問題 / 竹内外史著 東京 : 日本評論社 , 1996.9 |
| 7 | 証明論と計算量 / 竹内外史著 東京 : 裳華房 , 1995.11 |
| 8 | 線型論理入門 / 竹内外史著 東京 : 日本評論社 , 1995.1 |
| 9 | 現代集合論入門 / 竹内外史著 増補版. - 東京 : 日本評論社 , 1989.12 |
| 10 | 証明論入門 / 竹内外史, 八杉満利子共著 東京 : 共立出版 , 1988.2 |
| 11 | 無限小解析と物理学 / 竹内外史著 東京 : 遊星社. - 東京 : 星雲社(発売) , 1985.10 |
| 12 | リー代数と素粒子論 / 竹内外史著 東京 : 裳華房 , 1983.11 |
| 13 | 数学的世界観 : 現代数学の思想と展望 / 竹内外史著 東京 : 紀伊國屋書店 , 1982.2 |
| 14 | 線形代数と量子力学 / 竹内外史著 東京 : 裳華房 , 1981.3 |
| 15 | 直観主義的集合論 / 竹内外史著 東京 : 紀伊国屋書店 , 1980.12 |
| 16 | 数学から物理学へ / 竹内外史著 東京 : 日本評論社 , 1979.3 |
| 17 | 層・圏・トポス : 現代的集合像を求めて / 竹内外史著 東京 : 日本評論社 , 1979 |
| 18 | 層・圏・トポス : 現代的集合像を求めて / 竹内外史著 東京 : 日本評論社 , 1978.1 |
| 19 | Two applications of logic to mathematics / by Gaisi Takeuti ja. - [Tokyo] : Iwanami Shoten. - [Princeton, N.J.] : Princeton University Press , 1978 |
| 20 | 集合とはなにか : はじめて学ぶ人のために / 竹内外史著 東京 : 講談社 , 1976.9 |
| 21 | 数理論理学 : 語の問題 / 竹内外史著 東京 : 培風館 , 1973.4 |
| 22 | 数学基礎論の世界 : ロジックの雑記帳から / 竹内外史著 東京 : 日本評論社 , 1972.5 |