An introduction to formal logic - Smith, Peter, 1944- (Logic Matters, 2020)