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