数学セミナー2018年2月号
特集◎竹内外史と数学基礎論
解析学の基礎付けをはじめ，数学基礎論の分野で偉大な足跡を残し，2017年5月に逝去した竹内外史氏．今回は思い出も振り返りながら，氏が切り拓いた道を紹介する．
竹内外史氏の思い出◎一松 信
“竹内の証明論”における有限の立場◎八杉滿利子
今は昔の竹内物語◎難波完爾
竹内先生の証明論◎新井敏康
竹内先生の数学的世界観／量子論理に基づく数学◎小澤正直
竹内先生とロジック◎岡田光弘
[記事再録]
日本の数学基礎論・むかしと今／国際シンポジウムに出席して◎竹内外史
[記事再録]
夕焼けにも似て……◎竹内外史
フィボナッチの主題による変奏曲IV◎小野 孝