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

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)

Obtenido de "http://es.wikiversity.org/wiki/Discusi%C3%B3n:L%C3%B3gica/Construcci%C3%B3n_de_sistemas_l%C3%B3gicos"
Herramientas personales