タケウチ, ガイシ
竹内, 外史(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 |