Browsing Facultad de Matemáticas by Subject "Lógica"
Now showing items 1-1 of 1
-
Final Degree Project
Lógica minimal, intuicionista y clásica
(2018-06)The classical systems traditionally accepted within formal mathematical reasoning coexists with other branches of logic ...