An introduction to logic - Mitchell, David (Hutchinson, 1967)