Software de Lógica
Construtor de Tabelas de Verdade e Inspetores de Circunstâncias
Construtor de Árvores de Refutação
Calculadora de Silogismos
LIVRO: Lógica Proposicional e outras ferramentas para o trabalho filosófico