O Docente da Universidade Stanford, nos Estados Unidos, Dave Barker-Plummer, esteve em São Paulo no último mês para uma palestra sobre a importância do ensino e aprendizagem de lógica promovida pela Editora Ensinart.
O professor e outros dois pesquisadores, coescreveram o pacote Linguagem, Prova e Lógica (LPL), em 2000, que inclui material didático para cursos de lógica, além de um programa de computador com exercícios práticos.
Em 2014, a segunda edição do material foi traduzido para o português e lançado no Brasil pela Editora Ensinart.
O kit LPL traz conceitos baseados na matemática, lições sobre ambiguidade, teoria dos conjuntos, prova condicional e semântica, entre outros.