KOLMAN, Oren. A Note on Omitting Types in Propositional Logic. Armenian Journal of Mathematics, Yerevan, Armenia, v. 7, n. 1, p. 1–5, 2015. Disponível em: https://armjmath.sci.am/index.php/ajm/article/view/107. Acesso em: 4 apr. 2025.