Solvable cases of the decision problem - Ackermann, W. 1896- (Studies in logic and the foundations of mathematics, 1954)