With Proof Strategies - Daniel W. Cunningham (Taylor and Francis, 2021)