Listar por autor "Sierra Rodríguez, Patricia"
Mostrando ítems 1-1 de 1
-
Trabajo Fin de Grado
Lógica minimal, intuicionista y clásica
(2018-06)The classical systems traditionally accepted within formal mathematical reasoning coexists with other branches of logic ...