Resumo
Mr. Aristotle Web (em homenagem ao filósofo Aristóteles) é um arcabouço constituído de um front-end e um back-end que permite estudantes de lógica matemática acessar ferramentas de apoio ao ensino/aprendizado da lógica matemática por meio da internet.