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