Ir al contenido

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

Contenido de la página no disponible en otros idiomas.
Añadir tema
De Wikiversidad
Último comentario: hace 16 años por Julio Ostalé

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

--Julio Ostalé 05:07 14 ene 2008 (UTC)Responder