Trabalho de lógica matemática