A Note on Omitting Types in Propositional Logic. Armen.J.Math. [Internet]. 2015 May 27 [cited 2024 Nov. 23];7(1):1-5. Available from: http://test.armjmath.sci.am/index.php/ajm/article/view/107