Diferencia entre revisiones de «Consistencia (lógica)»
Contenido eliminado Contenido añadido
m Bot: Añadir enlaces internos: University of California Press |
m Mantenimiento de Control de autoridades |
||
Línea 138:
* {{cita libro |apellido1=H. D. Ebbinghaus |apellido2=J. Flum |apellido3=W. Thomas |título=Mathematical Logic |idioma=inglés |edición=Second Edition |año=1994 |editorial=Springer-Verlag |isbn=0-387-94258-0}}
{{Control de autoridades}}
[[Categoría:Metalógica]]
[[Categoría:Lógica matemática]]
| |||