1. Ackermann, W.: Solvable cases of the decision problem. North-Holland, Amsterdam 1954.
2. Bernays, P.: Remarques sur les problème de la décision en logique élémentaire. Edition de centre nat. de la rech. scient.13, 39?44 (1958), Paris.
3. Church, A.: A note on the Entscheidungsproblem. J. Symbolic Logic1, 40?41, 101?102 (1936).
4. Suranyi, J.: Reduktionstheorie des Entscheidungsproblems. Budapest 1959.
5. Trachténbrot, B. A.: Névozmo?nost' algorifma dlá problemy razré?imosti na koné?nyh klassah. Doklady Akadémii Nauk SSSR, n. s.,70, 569?572 (1950).