Topics in modern logic - Makinson, Dc (Methuen&Co, 1973)