Kolman, O. (2015) “A Note on Omitting Types in Propositional Logic”, Armenian Journal of Mathematics, 7(1), pp. 1–5. Available at: http://test.armjmath.sci.am/index.php/ajm/article/view/107 (Accessed: 9 May 2026).