楽天ブックスでシンプルに目的の本を探す。情報理論のための数理論理学 (板井 昌典)の本を買う。