Kolman O. A Note on Omitting Types in Propositional Logic. Armen.J.Math. 2015;7(1):1-5. Accessed April 4, 2025. https://armjmath.sci.am/index.php/ajm/article/view/107