KOLMAN, O. A Note on Omitting Types in Propositional Logic. Armenian Journal of Mathematics, v. 7, n. 1, p. 1–5, 27 May2015.