タケウチ, ガイシ
竹内, 外史(1926-)
著者名典拠詳細を表示
| 著者の属性 | 個人 |
|---|---|
| 場所 | 石川県 |
| 一般注記 | イリノイ大学教授 「無限小解析と物理学」の著者 EDSRC:線型論理入門 / 竹内外史著(日本評論社, 1995.1)の奥付の記述: 理学博士、専門・数学基礎論。 |
| 生没年等 | 1926 |
| から見よ参照 | *Takeuti, Gaisi, 1926- Takeuti, G. Takeuchi, Gaishi |
| コード類 | 典拠ID=AU00001061 NCID=DA00113867 |
| 1 | 数学基礎論 / 前原昭二, 竹内外史著 東京 : 筑摩書房 , 2017.1 |
| 2 | PとNP : 計算量の根本問題 / 竹内外史著 東京 : 日本評論社 , 1996.9 |
| 3 | ゲーデル / 竹内外史著 東京 : 日本評論社 , 1986.11 |
| 4 | 無限小解析と物理学 / 竹内外史著 東京 : 遊星社. - 東京 : 星雲社(発売) , 1985.10 |
| 5 | リー代数と素粒子論 / 竹内外史著 東京 : 裳華房 , 1983.11 |
| 6 | 数学的世界観 : 現代数学の思想と展望 / 竹内外史著 東京 : 紀伊國屋書店 , 1982.2 |
| 7 | 線形代数と量子力学 / 竹内外史著 東京 : 裳華房 , 1981.3 |
| 8 | 直観主義的集合論 / 竹内外史著 東京 : 紀伊国屋書店 , 1980.12 |
| 9 | 層・圏・トポス : 現代的集合像を求めて / 竹内外史著 第1版第3刷. - 東京 : 日本評論社 , 1980.8 |
| 10 | Two applications of logic to mathematics / by Gaisi Takeuti ja. - [Tokyo] : Iwanami Shoten. - [Princeton, N.J.] : Princeton University Press , 1978 |
| 11 | 数理論理学 : 語の問題 / 竹内外史著 東京 : 培風館 , 1973.4 |
| 12 | Axiomatic set theory / by G. Takeuti and W. M. Zaring us hard cover,us soft cover,gw soft cover. - New York : Springer-Verlag , c1973 |
| 13 | Introduction to axiomatic set theory / G. Takeuti, W.M. Zaring soft cover. - New York : Springer-Verlag , c1971 |
| 14 | 数学基礎論 / 竹内外史著 東京 : 共立出版 , 1956 |
| 15 | 位相幾何学 / 河田敬義,竹内外史著 東京 : 朝倉書店 , 1952 |