60102LÓGICA MATEMÁTICAPTptVocabulário Controlado da USP active approved LÓGICA MATEMÁTICALÓGICA MATEMÁTICABT61896MATEMÁTICAPTNT60090LÓGICA FUZZYPTNT4818ANÁLISE NÃO STANDARDPTNT94236TEORIA DOS MODELOSPTNT94023TEORIA DA RECURSÃOPTNT94218TEORIA DOS CONJUNTOSPTNT61908MATEMÁTICA CONSTRUTIVAPTNT93954TEORIA DA DEMONSTRAÇÃOPTNT60063LÓGICA ALGÉBRICAPTNT65337MODELOS NÃO STANDARDPTNT39711ESTRUTURA DA RETA REALPTNT58878LINGUAGENS INFINITÁRIASPTNT60072LÓGICA COMBINATÓRIAPTNT60114LÓGICA POLIVALENTEPTNT60117LÓGICA SIMBÓLICAPTNT90303SISTEMAS LÓGICOS CLÁSSICOSPTNT60105LÓGICA MATEMÁTICA APLICADAPTNT60075LÓGICA DE ORDEM SUPERIORPTNT60078LÓGICA DE PRIMEIRA ORDEMPTNT60099LÓGICA INTUICIONISTAPTNT60108LÓGICA MODALPTNT63885METODOLOGIA DOS SISTEMAS DEDUTIVOSPTNT90306SISTEMAS LÓGICOS NÃO CLÁSSICOSPTNT60111LÓGICA PARACONSISTENTEPT