Computations in propositional logic by A. Hendricks