PROJETOS DE MATEMATIZACÃO DA LÓGICA DE RAIMUNDO LÚLIO A GIUSEPPE PEANO - Rafael da Silva da Silveira (2020)