Logical forms an introduction to philosophical logic - Sainbury, Mark (Blackwell publishers, 1991)