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