Logic works a rigorous introduction to formal logic / - Falkenstein, Lorne. (Routledge, 2022)