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