Tratado fundacional de la teoría de funciones
Definición, igualdad, parcialidad, computabilidad y representación de funciones: dieciocho capítulos, ejercicios, glosario e índices.
Abrir tratado →Tratados
Tratados
Serie de tratados formales de Matemática Abierta: fundamentos explícitos, definiciones precisas, demostraciones y dependencias entre resultados. Cada obra sigue los protocolos rectores de la serie.
Los libros pedagógicos de la colección Para matemáticos tienen su propia sección.
Obras de la serie
Las páginas de cada tratado reúnen las unidades disponibles para lectura. El estado de publicación puede avanzar por capítulos.
Tratado de análisis
Desarrollo del análisis desde fundamentos explícitos, con construcción progresiva de los sistemas numéricos y del análisis real.
Abrir tratado →Tratado moderno de Álgebra
Construcción deductiva de estructuras algebraicas desde fundamentos explícitos, con publicación progresiva por capítulos.
Abrir tratado →Tratado de geometría
Desarrollo formal de la geometría desde fundamentos explícitos. Manuscrito en escritura; todavía sin capítulos publicados.