Ackermann, W. Solvable cases of the decision problem. - Amsterdam, North-Holland Pub. Co., 1954. - 114 p. Subjects--Topical Terms: Logic, Symbolic and mathematical.MCE Dewey Class. No.: 519.542 / ACK