A first course in logic - Lawson, Mark V. (CRC Press, Taylor & Francis Group,, 2019)