Title: Solvable cases of the decision problem
Subjects: Symbolic and mathematical Logic