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