O. Kolman, “A Note on Omitting Types in Propositional Logic”, Armen.J.Math., vol. 7, no. 1, pp. 1–5, May 2015, Accessed: Apr. 04, 2025. [Online]. Available: https://armjmath.sci.am/index.php/ajm/article/view/107