Discusión:Lógica/Construcción de sistemas lógicos

De Wikiversidad
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)