数学嫌いのためのコンピュータ論理学 : 何でも「計算」になる根本原理数学嫌いのためのコンピュータ論理学 : 何でも「計算」になる根本原理Martin Davis, 岩山知三郎出版社コンピュータ・エージ社発売日2003-07-01ISBN9784875662747読みたい読書中読んだ詳細はこちらからAmazonで見るシェアする