Atualização e finalização: Introdução à Lógica, Editora Unesp