LOGICA CLASICA DE PRIMER ORDEN José Alfredo Amor [email protected] Resumen La lógica clásica de primer orden con igualdad es la rama más estudiada,
