Browsing Escuela Profesional de Ingeniería de Sistemas by Subject "Lógica intuicionista"

Browsing Escuela Profesional de Ingeniería de Sistemas by Subject "Lógica intuicionista"

Sort by: Order: Results:

  • Quispe Cruz, Marcela (Universidad Nacional de San Agustín de Arequipa, 2019)
    El sistema geométrico de deducción denominado de N-Grafos fue introducido por De Oliveira en el año 2001. Las pruebas en este sistema son representadas por medio de digrafos. Estos grafos de pruebas se basan en la deducción ...