MEIO AMBIENTE E PLANEJAMENTO Profa. Sueli do Carmo Bettine
Eduardo Gonzalez Ortiz
Lógica de Predicados