Solvable cases of the decision problem (1954)

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