LÓGICA MATEMÁTICALÓGICA FUZZYANÁLISE NÃO STANDARDTEORIA DOS MODELOSTEORIA DA RECURSÃOTEORIA DOS CONJUNTOSMATEMÁTICA CONSTRUTIVATEORIA DA DEMONSTRAÇÃOLÓGICA ALGÉBRICAMODELOS NÃO STANDARDESTRUTURA DA RETA REALLINGUAGENS INFINITÁRIASLÓGICA COMBINATÓRIALÓGICA POLIVALENTELÓGICA SIMBÓLICASISTEMAS LÓGICOS CLÁSSICOSLÓGICA MATEMÁTICA APLICADALÓGICA DE ORDEM SUPERIORLÓGICA DE PRIMEIRA ORDEMLÓGICA INTUICIONISTALÓGICA MODALMETODOLOGIA DOS SISTEMAS DEDUTIVOSSISTEMAS LÓGICOS NÃO CLÁSSICOSLÓGICA PARACONSISTENTEMATEMÁTICA