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