“A Note on Omitting Types in Propositional Logic”. Armenian Journal of Mathematics 7, no. 1 (May 27, 2015): 1–5. Accessed September 18, 2024. http://test.armjmath.sci.am/index.php/ajm/article/view/107.