Showing 1 - 3 results of 3 for search '"proof theory"', query time: 0.19s Refine Results
  1. 1
    Article of journal
    Una estrategia de enseñanza de la demostración utilizando software de geometría dinámica.
    Por Acosta Gempeler, Martín Eduardo; Cardozo Fajardo , Santiago
    Published in 2021
    Repositorio Repositorio Institucional UPN

    Get full text
    Get full text
  2. 2
    Article of journal
    An elementary and unified approach to program correctness
    Por Bohórquez, Jaime
    Published in 2009
    Repositorio Repositorio Institucional ECI

    Get full text
  3. 3
    El método de los (L, n)-modelos: una posible respuesta sobre la independencia de la versión a la Paris-Harrington del teorema de Folkman
    Por Valderrama Hernández, David
    Published in 2021
    Repositorio Universidad Nacional de Colombia

    Get full text
    Get full text
Search Tools: Get RSS Feed — Email this Search