Wikipedia

Diferencia entre revisiones de «Consistencia (lógica)»

Explorar historial interactivamente
← Ir a diferencia anteriorIr a siguiente diferencia →
Contenido eliminado Contenido añadido
VisualWikitexto
Línea 87:
==Véase también==
*[[Lógica paraconsistente]]
*[[Hilbert's second problem]]
*[[Hilbert's program]]
*[[Problemas de Hilbert]]
*[[Matiyasevich's theorem]]
*[[Emil Post]] (1920)
*[[Łukasiewicz]]
Obtenido de «https://es.wikipedia.org/wiki/Consistencia_(lógica)»