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"

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