Title: The recursive unsolvability of the decision problem for the class of definite formulas
Subjects: Operational Calculus