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

Contenido de la página no disponible en otros idiomas.
De Wikiversidad

He corregido la definición de completud, que se confundía con la de decidibilidad.

--Julio Ostalé 05:07 14 ene 2008 (UTC)[responder]