タケウチ, ガイシ
竹内, 外史 (1926-)
著者名典拠詳細を表示
| 著者の属性 | 個人 |
|---|---|
| 場所 | 石川県 |
| 一般注記 | イリノイ大学教授 「無限小解析と物理学」の著者 EDSRC:線型論理入門 / 竹内外史著(日本評論社, 1995.1)の奥付の記述: 理学博士、専門・数学基礎論。 没年はWeb NDL Authoritiesによる (https://id.ndl.go.jp/auth/ndlna/00080185)(2023.12.27参照) |
| 生没年等 | 1926-2017 |
| から見よ参照 | *Takeuti, Gaisi, 1926- Takeuti, G. Takeuchi, Gaishi 竹内, 外史 (1926-2017)<タケウチ, ガイシ> |
| コード類 | 典拠ID=AU00000509 NCID=DA00113867 |
| 1 | 証明論入門 / 竹内外史, 八杉満利子共著 復刊. - 東京 : 共立出版 , 2010.6 |
| 2 | 集合とはなにか : はじめて学ぶ人のために / 竹内外史著 : 新装版. - 東京 : 講談社 , 2001.5 |
| 3 | 線型論理入門 / 竹内外史著 東京 : 日本評論社 , 1995.1 |
| 4 | 現代集合論入門 / 竹内外史著 増補版. - 東京 : 日本評論社 , 1989.12 |
| 5 | 線形代数と量子力学 / 竹内外史著 東京 : 裳華房 , 1981.3 |
| 6 | 直観主義的集合論 / 竹内外史著 東京 : 紀伊國屋書店 , 1980.12 |
| 7 | 層・圏・トポス : 現代的集合像を求めて / 竹内外史著 第1版第3刷. - 東京 : 日本評論社 , 1980.8 |
| 8 | 数学から物理学へ / 竹内外史著 東京 : 日本評論社 , 1979.3 |
| 9 | 数学基礎論の世界 : ロジックの雑記帳から / 竹内外史著 東京 : 日本評論社 , 1972.5 |
| 10 | 数学基礎論 / 竹内外史著 東京 : 共立出版 , 1956 |