楽天ブックスでシンプルに目的の本を探す。Constructive　logics　for　program　correctnRevised (伊藤貴康)の本を買う。