Discusión:Lógica/Construcción de sistemas lógicos
Último comentario: hace 16 años por Julio Ostalé
He corregido la definición de completud, que se confundía con la de decidibilidad.
He corregido la definición de completud, que se confundía con la de decidibilidad.