【著書一覧】竹内 外史（TAKEUCHI Takashi）- 数学者、数学基礎論専門家、イリノイ大学名誉教授

著者別の著作物を時系列にご覧いただけます。

Card image cap
現代思想 2017年6月臨時増刊号 総特集◎ゲーデル 新装版
クルト・ゲーデル (著)、森毅 (著)、竹内外史 (著)、野崎昭弘 (著)、田中一之 (著)、戸田山和久 (著)、新井敏康 (著)、小島寛之 (著)、池上高志 (著)、岡本賢吾 (著)、照井一成 (著)
2017/05/12
Card image cap
数学基礎論 Math＆Science (ちくま学芸文庫)
前原昭二 (著)、竹内外史 (著)
2017/01/10
Card image cap
復刊 証明論入門
竹内 外史 (著)、八杉 満利子 (著)
2010/06/09
Card image cap
OD>直観主義的集合論 (紀伊國屋数学叢書 20)
竹内 外史 (著)
2008/11/28
Card image cap
数学的世界観―現代数学の思想と展望
竹内 外史 (著)
2005/07/01
Card image cap
数学七つの未解決問題―あなたも100万ドルにチャレンジしよう!
信, 一松 (著)、滋, 金光 (著)、外史, 竹内 (著)、健, 鹿野 (著)、喜一朗, 橋本 (著)
2002/10/01
Card image cap
新装版　集合とはなにか　はじめて学ぶ人のために (ブルーバックス)
竹内外史 (著)
2001/05/20
Card image cap
無限小解析と物理学
竹内 外史 (著)
2001/05/01
Card image cap
ゲーデル
竹内 外史 (著)
1998/09/01
Card image cap
PとNP―計算量の根本問題
竹内 外史 (著)
1996/09/01
Card image cap
証明論と計算量
竹内 外史 (著)
1995/11/10
Card image cap
線型論理入門
竹内 外史 (著)
1995/01/01
Card image cap
ゲーデルの夢 (河合ブックレット―数学シリーズ)
竹内 外史 (著)
1990/09/01
Card image cap
現代集合論入門 (日評数学選書)
竹内 外史 (著)
1989/12/01
Card image cap
証明論入門
外史, 竹内 (著)、満利子, 八杉 (著)
1988/02/01
Card image cap
リー代数と素粒子論
竹内 外史 (著)
1983/01/01
Card image cap
線形代数と量子力学 (基礎数学選書 24)
竹内 外史 (著)
1981/03/30
Card image cap
数学から物理学へ
竹内 外史 (著)
1979/01/01
Card image cap
層・圏・トポス―現代的集合像を求めて
竹内 外史 (著)
1978/01/20
Card image cap
数理論理学―語の問題 (1973年) (数理科学シリーズ〈7〉)
竹内 外史 (著)
1973/01/01
Card image cap
数学基礎論の世界―ロジックの雑記帳から
外史, 竹内 (著)
1972/06/23