Trabalho de Logica matematica