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