Logic and languages. - Cresswell M J (London Methuen, 1973)