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