Solvable cases of the decision problem - Ackermann, W. (Wilhelm), 1896- (Amsterdam : North-Holland Pub. Co., 1954)
Includes bibliography.
Keywords: Logic, Symbolic and mathematical