証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで小島寛之出版社技術評論社発売日2017-02-01ISBN9784774186641読みたい読書中読んだ詳細はこちらからAmazonで見るシェアする
