An Introduction to Proofs, Algorithms, and Applications - Karin R Saoub (Taylor and Francis, 2021)