楽天ブックスでシンプルに目的の本を探す。形式論理学入門 (仲本章夫)の本を買う。