竹内外史の本
22冊
著者名の一致で集めています。同じ名前の別の方が混じることがあります。
- 無限小解析と物理学2024-12-01
数学基礎論2017-01-10- 証明論入門2010-06-01
- 直観主義的集合論2008-01-01
集合とはなにか : はじめて学ぶ人のために2001-05-01- 証明論と計算量1995-11-01
- 線型論理入門1995-01-01
- ゲーデルの夢 : 数学1990-08-01
- 現代集合論入門1989-12-01
- 証明論入門1988-02-01
- Proof theory1987-01-01
- ゲーデル1986-11-01
- リー代数と素粒子論1983-11-01
- 数学的世界観 : 現代数学の思想と展望1982-02-01
- 線形代数と量子力学1981-03-01
- 層・圏・トポス : 現代的集合像を求めて1980-08-01
- Two applications of logic to mathematics / by Gaisi Takeuti1978-01-01
- 集合とはなにか : はじめて学ぶ人のために1976-09-01
- Proof theory / Gaisi Takeuti1975-01-01
- 数学基礎論の世界 : ロジックの雑記帳から1972-01-01
- Introduction to axiomatic set theory / Gaisi Takeuti, Wilson M. Zaring1971-01-01
- 直観主義的集合論