詭弁論理学 改版 詭弁論理学 改版
2017年
意味がわかれば数学の風景が見えてくる [改訂合本] 意味がわかれば数学の風景が見えてくる [改訂合本]
2011年
不完全性定理 ──数学的体系のあゆみ 不完全性定理 ──数学的体系のあゆみ
2006年
逆説論理学 逆説論理学
1980年
離散数学「数え上げ理論」 「おみやげの配り方」から「Nクイーン問題」まで 離散数学「数え上げ理論」 「おみやげの配り方」から「Nクイーン問題」まで
2008年
「P≠NP」問題 現代数学の超難問 「P≠NP」問題 現代数学の超難問
2015年