Showing 1 - 9 results of 9 for search '"EPISTEMOLOGIA"', query time: 0.05s Refine Results
  1. 1
    Entre finitismo e intuicionismo: Observaciones sobre los orígenes de la deducción natural

    Entre finitismo e intuicionismo: Observaciones sobre los orígenes de la deducción natural by Legris, Javier

    Published 2016
    Subjects: “…Epistemología…”
    Get full text
    conferenceObject
  2. 2
    Carl Prantl y la "reforma de la lógica" en el siglo XIX

    Carl Prantl y la "reforma de la lógica" en el siglo XIX by Legris, Javier

    Published 2016
    Subjects:
    Get full text
    conferenceObject
  3. 3
    Reglas estructurales y análisis de la consecuencia lógica

    Reglas estructurales y análisis de la consecuencia lógica by Legris, Javier

    Published 2016
    Subjects: “…Epistemología…”
    Get full text
    conferenceObject
  4. 4
    Semántica verificacionista y lenguaje universal

    Semántica verificacionista y lenguaje universal by Legris, Javier

    Published 2016
    Subjects: “…Epistemología…”
    Get full text
    conferenceObject
  5. 5
    Conocimiento simbólico e infinito matemático

    Conocimiento simbólico e infinito matemático by Legris, Javier

    Published 2016
    Subjects: “…Epistemología…”
    Get full text
    conferenceObject
  6. 6
    La idea de lenguaje universal en el álgebra de la lógica de Ernst Schröder

    La idea de lenguaje universal en el álgebra de la lógica de Ernst Schröder by Legris, Javier

    Published 2016
    Subjects: “…Epistemología…”
    Get full text
    conferenceObject
  7. 7
    Reduccionismo y universalidad en los fundamentos de la matemática a finales del siglo XIX

    Reduccionismo y universalidad en los fundamentos de la matemática a finales del siglo XIX by Legris, Javier

    Published 2016
    Subjects: “…Epistemología…”
    Get full text
    conferenceObject
  8. 8
    El sueño de Leibniz. Sobre deducción automática y razonadores artificiales

    El sueño de Leibniz. Sobre deducción automática y razonadores artificiales by Legris, Javier

    Published 2016
    Subjects: “…Epistemología…”
    Get full text
    conferenceObject
  9. 9
    Demostraciones de consistencia y derivabilidad formal: a 60 años de las "investigaciones sobre la deducción lógica" de G. Gentzen

    Demostraciones de consistencia y derivabilidad formal: a 60 años de las "investigaciones sobre la deducción lógica" de G. Gentzen by Legris, Javier

    Published 2016
    Subjects: “…Epistemología…”
    Get full text
    conferenceObject

Search Tools: