Topics in modern logic - Makinson, David Clement. (Methuen & Co, 1973)