An introduction to formal logic - Smith, Peter (Cambridge Cambridge University Press, 2003)
Keywords: Logic