Solvable cases of the decision problem. (1954)

by W Ackermann
Venue:Studies in Logic and the Foundations of Mathematics.