TY  - THES 
A3  - Manzano Arjona, María Gracia
A3  - Aliseda Llera, Atocha
AU  - Hernández Deciderio, Gabriela
PY  - 2015
UR  - http://hdl.handle.net/10366/128155
AB  - [ES]Desde el surgimiento del Begriffsschrift de Frege [1879], no ha parado la producción de sistemas lógicos; incluso, se ha intensificado por la conjunción de investigaciones en lógica y ciencias de la computación. Además, la producción de nuevos...
LA  - Español
KW  - Tesis y disertaciones académicas
KW  - Universidad de Salamanca (España)
KW  - Academic Dissertations
KW  - Filosofía de la lógica
KW  - Lógica
KW  - Lógica formal
TI  - Capacidades de los sistemas lógicos formales: El caso de algunos sistemas lógicos clásicos y de lógica libre
M3  - info:eu-repo/semantics/doctoralThesis
DO  - 10.14201/gredos.128155
ER  -