Pesquisar

Palavra-chave: NATURAL DEDUCTION SYSTEMS

Utilizada 4 vez(es) por 1 docente(s):

Palavras-chave relacionadas:

Palavra-chave relacionada é aquela que foi utilizada juntamente com "NATURAL DEDUCTION SYSTEMS"

HERBRAND THEOREM, PARACONSISTENT AND MODAL SYSTEMS PHILOSOPHY OF MATHEMATICS TABLEAUX SYSTEMS DA COSTA SYSTEMS CN NORMALIZATION THEOREM HIERARCHIES OF PARACONSISTENT LOGICS DA COSTA