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