A Note on Omitting Types in Propositional Logic. Armenian Journal of Mathematics, [S. l.], v. 7, n. 1, p. 1–5, 2015. Disponível em: http://test.armjmath.sci.am/index.php/ajm/article/view/107. Acesso em: 18 sep. 2024.