Reading list: Cresswell, M. J. Logics and languages