Solvable cases of the decision problem. - Ackermann, W. (Amsterdam, North-Holland Pub. Co., 1954)
0
Keywords: Logic, Symbolic and mathematical; MCE