楽天ブックスでシンプルに目的の本を探す。スマリヤン 不完全性定理【改訳版】 (高橋　昌一郎/川辺　治之/村上　祐子)の本を買う。