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