2017. Da dedução para a álgebra. C.Q.D. - Revista Eletrônica Paulista de Matemática. 10, (Dec. 2017).