We Reason & We Prove for ALL Mathematics - e-bok, Engelska, 2018