“A Note on Omitting Types in Propositional Logic”, Armen.J.Math., vol. 7, no. 1, pp. 1–5, May 2015, Accessed: Sep. 18, 2024. [Online]. Available: http://test.armjmath.sci.am/index.php/ajm/article/view/107