2017-01-20 『証明と論理に強くなる：論理式の読み方から，ゲーデルの門前まで』 新 小島寛之 （2017年2月1日刊行，技術評論社［シリーズ〈知の扉〉］，東京, 351 pp., 本体価格1,780円, ISBN:9784774186641 → 版元ページ）
