- idUS
- Listar por autor
Listar por autor "Ortiz Morales, Samuel"
Mostrando ítems 1-1 de 1
-
Trabajo Fin de Grado
La lógica de la demostrabilidad
Ortiz Morales, Samuel (2021-12-02)Our main goal in this work is the study of the arithmetical completeness theorem for GL (presented for first time by ...