Castejón Calderón, R. MUÑOZ (Vicente): "De La axiomática a Los Sistemas Formales". AFD 2025.