Kolman, Oren (2015) A Note on Omitting Types in Propositional Logic. Armenian Journal of Mathematics, 7 (1). pp. 1-5. ISSN 1829-1163