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