Logical forms : an introduction to philosophical logic - Sainsbury, R. M. (B. Blackwell, 1991)