ASA-CalcPro: uma ferramenta para o ensino-aprendizagem de cálculo proposicional - Martim Nicoladelli, Jose; Santanna Batista, Janna; Luguesi, João; Finger, Marcelo (TUIUTI: CIÊNCIA E CULTURA, 2018)