Interactive Theorem Proving - häftad, Engelska, 2017