Showing 1 - 2 results of 2 for search '"[pt] CALCULO DE SEQUENTES"', query time: 1.01s Refine Results
  1. 1
    [pt] SISTEMAS DE PROVA E GERAÇÃO DE CONTRA EXEMPLO PARA LÓGICA PROPOSICIONAL MINIMAL IMPLICACIONAL
    Published 2021
    Subjects: “...[pt] CALCULO DE SEQUENTES...”
    Get full text
    Get full text
    Get full text
  2. 2
    [en] ON SOME RELATIONS BETWEEN NATURAL DEDUCTION AND SEQUENT CALCULUS
    by CECILIA REIS ENGLANDER LUSTOSA
    Published 2015
    Subjects: “...[pt] CALCULO DE SEQUENTES...”
    Get full text
    Get full text
    Get full text
Search Tools: Get RSS Feed — Email this Search