Logics and languages. - Cresswell, M.J.; Cresswell, M.J. (Methuen and Co.Ltd. London, 1973)
Keywords: P0R1