An introduction to formal logic - Smith, Peter (Cambridge : Cambridge University Press, 2003)
Includes bibliography & index
Keywords: LOGIC,FORMAL