Logics and Languages - M. J. Cresswell (Taylor and Francis, 1973)