Models Algebras and proofs x Latin American symposium of mathematical logic
Elementos de Lógica y Calculabilidad