Solvable cases of the decision problem - Ackermann, Wilhelm n 1896 (Amsterdam : North Holland, 1954)
Keywords: LOGICA, SIMBOLICA Y MATEMATICA