Maria Emilia Maietti

Una visión general de doctrinas, sus completaciones y aplicaciones en matemáticas.

Una mirada a la conexión entre los tipos W y la topología formal en matemáticas.

Examinando la relación entre la matemática constructiva y la matemática clásica predicativa.

Un nuevo enfoque a los fundamentos de las matemáticas centrado en la claridad y la estructura.