• Trabajo Fin de Grado
      Icon

      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 ...