Type Theory and Formal Proof - innbundet, Engelsk, 2014