Topics in modern logic - Makinson D C (London Methuen & Co., 1973)
Keywords: LOGIC