60122LÓGICA MATEMÁTICAPTptVocabulário Controlado da USP active approved LÓGICA MATEMÁTICALÓGICA MATEMÁTICABT61925MATEMÁTICAPTNT60110LÓGICA FUZZYPTNT4820ANÁLISE NÃO STANDARDPTNT94307TEORIA DOS MODELOSPTNT94094TEORIA DA RECURSÃOPTNT94289TEORIA DOS CONJUNTOSPTNT61937MATEMÁTICA CONSTRUTIVAPTNT94025TEORIA DA DEMONSTRAÇÃOPTNT60083LÓGICA ALGÉBRICAPTNT65366MODELOS NÃO STANDARDPTNT39722ESTRUTURA DA RETA REALPTNT58898LINGUAGENS INFINITÁRIASPTNT60092LÓGICA COMBINATÓRIAPTNT60134LÓGICA POLIVALENTEPTNT60137LÓGICA SIMBÓLICAPTNT90368SISTEMAS LÓGICOS CLÁSSICOSPTNT60125LÓGICA MATEMÁTICA APLICADAPTNT60095LÓGICA DE ORDEM SUPERIORPTNT60098LÓGICA DE PRIMEIRA ORDEMPTNT60119LÓGICA INTUICIONISTAPTNT60128LÓGICA MODALPTNT63914METODOLOGIA DOS SISTEMAS DEDUTIVOSPTNT90371SISTEMAS LÓGICOS NÃO CLÁSSICOSPTNT60131LÓGICA PARACONSISTENTEPT