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