60130LÓGICA MATEMÁTICAPTptVocabulário Controlado da USP active approved LÓGICA MATEMÁTICALÓGICA MATEMÁTICABT61933MATEMÁTICAPTNT60118LÓGICA FUZZYPTNT4828ANÁLISE NÃO STANDARDPTNT94315TEORIA DOS MODELOSPTNT94102TEORIA DA RECURSÃOPTNT94297TEORIA DOS CONJUNTOSPTNT61945MATEMÁTICA CONSTRUTIVAPTNT94033TEORIA DA DEMONSTRAÇÃOPTNT60091LÓGICA ALGÉBRICAPTNT65374MODELOS NÃO STANDARDPTNT39730ESTRUTURA DA RETA REALPTNT58906LINGUAGENS INFINITÁRIASPTNT60100LÓGICA COMBINATÓRIAPTNT60142LÓGICA POLIVALENTEPTNT60145LÓGICA SIMBÓLICAPTNT90376SISTEMAS LÓGICOS CLÁSSICOSPTNT60133LÓGICA MATEMÁTICA APLICADAPTNT60103LÓGICA DE ORDEM SUPERIORPTNT60106LÓGICA DE PRIMEIRA ORDEMPTNT60127LÓGICA INTUICIONISTAPTNT60136LÓGICA MODALPTNT63922METODOLOGIA DOS SISTEMAS DEDUTIVOSPTNT90379SISTEMAS LÓGICOS NÃO CLÁSSICOSPTNT60139LÓGICA PARACONSISTENTEPT