Projetos de Matematização da Lógica : de Raimundo Lúlio a Giuseppe Peano - Silveira, Rafael Da Silva Da (2020)