Computation, Proof, Machine - innbundet, Engelsk, 2015