O livro de texto vem acompanhado de três programas e respectivos ficheiros auxiliares (Tarski, Fitch e Boole).
- O Tarski apoia o estudo de modelação de cenários numa linguagem particular (Tarski World).
- O Fitch apoia o desenvolvimento de demonstrações no sistema de dedução natural.
- O Boole facilita o desenho de tabelas de verdade.