Una introducción a la equivalencia definicional y a la Morita-equivalencia en la lógica multivariada de primer orden

• Autores: José Javier González López
• Localización: El jardín de senderos que se bifurcan y confluyen: Filosofía, Lógica y Matemáticas / Diego P. Fernandes (ed. lit.), Rodrigo López Orellana (ed. lit.), 2020, ISBN 978-956-402-647-3, págs. 43-64
• Idioma: español
• Texto completo no disponible (Saber más ...)