Showing 1 - 2 results of 2 for search '"proof theory"', query time: 0.10s Refine Results
  1. 1
    SOME RESULTS IN A PROOF-THEORY BASED ON GRAPHS
    by MARCELA QUISPE CRUZ
    Published 2014
    “... lógica de primeira ordem, a inferência profunda e lógica bi-intuitionista. === Traditional proof theory...”
    Get full text
    Get full text
  2. 2
    [en] SOME RESULTS IN A PROOF-THEORY BASED ON GRAPHS
    by MARCELA QUISPE CRUZ
    Published 2017
    Subjects: “...[en] PROOF THEORY...”
    Get full text
    Get full text
    Get full text
Search Tools: Get RSS Feed — Email this Search