Diferencia entre revisiones de «Área de lógica matemática»

Contenido eliminado Contenido añadido
Línea 6:
 
==Libros electrónicos==
*[http://www.uv.es/ivorra/Libros/Logica.pdf ''Lógica y Teoría de Conjuntos''], de Carlos Ivorra. Exposición inmejorable de la Lógica de Primer Orden y de la Teoría Axiomática de Conjuntos. Exposición ded las axiomáticas de Zermelo-Fraenkel y de von Neumann-Bernays-Gödel.
*[http://www.uv.es/ivorra/Libros/CONJUNTOS.pdf ''Pruebas de Consistencia''], de Carlos Ivorra. Constructibilidad, Extensiones genéricas, Cardinalidad... Prerequisitos de Álgebra, Topología y Análisis.