20053LÓGICA MATEMÁTICAPTptVocabulário Controlado da USP active approved LÓGICA MATEMÁTICALÓGICA MATEMÁTICABT20654MATEMÁTICAPTNT20049LÓGICA FUZZYPTNT1608ANÁLISE NÃO STANDARDPTNT31456TEORIA DOS MODELOSPTNT31384TEORIA DA RECURSÃOPTNT31450TEORIA DOS CONJUNTOSPTNT20658MATEMÁTICA CONSTRUTIVAPTNT31361TEORIA DA DEMONSTRAÇÃOPTNT20040LÓGICA ALGÉBRICAPTNT21802MODELOS NÃO STANDARDPTNT13249ESTRUTURA DA RETA REALPTNT19644LINGUAGENS INFINITÁRIASPTNT20043LÓGICA COMBINATÓRIAPTNT20057LÓGICA POLIVALENTEPTNT20058LÓGICA SIMBÓLICAPTNT30141SISTEMAS LÓGICOS CLÁSSICOSPTNT20054LÓGICA MATEMÁTICA APLICADAPTNT20044LÓGICA DE ORDEM SUPERIORPTNT20045LÓGICA DE PRIMEIRA ORDEMPTNT20052LÓGICA INTUICIONISTAPTNT20055LÓGICA MODALPTNT21318METODOLOGIA DOS SISTEMAS DEDUTIVOSPTNT30142SISTEMAS LÓGICOS NÃO CLÁSSICOSPTNT20056LÓGICA PARACONSISTENTEPT