94102TEORIA DA RECURSÃOPTptVocabulário Controlado da USP active approved TEORIA DA RECURSÃOTEORIA DA RECURSÃOUF94048TEORIA DA FUNÇÃO RECURSIVA NDUF45115FUNÇÃO RECURSIVA NDBT60130LÓGICA MATEMÁTICAPTNT52618INDECIDIBILIDADEPT