Computations in propositional logic door A. Hendricks