Discusión:Lógica/Construcción de sistemas lógicos
Ir a la navegación
Ir a la búsqueda
He corregido la definición de completud, que se confundía con la de decidibilidad.
--Julio Ostalé 05:07 14 ene 2008 (UTC)
He corregido la definición de completud, que se confundía con la de decidibilidad.
--Julio Ostalé 05:07 14 ene 2008 (UTC)Responder[responder]