Now showing items 1-1 of 1

    • Hilbert y la axiomatización de los Elementos de Euclides 

      Álvarez González, Pablo (2021-07)
      [ES] Este trabajo aborda el método axiomático formal de David Hilbert, desde una primera manifestación en su obra Grundlagen der Geometrie, hasta una evolución más formal y cercana a la lógica. El objetivo que se pretende ...





      Harvesters:Useful links:
      Universidade de Santiago de Compostela | Teléfonos: +34 881 811 000 e +34 982 820 000 | Contact Us | Send Feedback