Type Theory and Formal Proof - inbunden, Engelska, 2014