J.M.Barreto UFSC-INE LOGICA DE PRIMEIRA ORDEM Cálculo dos Predicados FUNDAMENTOS DA COMPUTACÃOFUNDAMENTOS DA COMPUTACÃO.
