『証明と論理に強くなる：論理式の読み方から，ゲーデルの門前まで』

新

小島寛之

（2017年2月1日刊行，技術評論社［シリーズ〈知の扉〉］，東京, 351 pp., 本体価格1,780円, ISBN:9784774186641 → 版元ページ）