60078LÓGICA DE PRIMEIRA ORDEMPTptVocabulário Controlado da USP active approved LÓGICA DE PRIMEIRA ORDEMLÓGICA DE PRIMEIRA ORDEMBT60102LÓGICA MATEMÁTICAPT