An Introduction to Axiomatic Reasoning - Robert André (Taylor and Francis, 2025)