Nepomuceno Fernández, Ángel . SISTEMAS DE LÓGICA EN LA INVESTIGACIÓN DE FUNDAMENTOS . FdF 2023.