1. John G. Kemeny, ?A logical measure function,? Journal of the Symbolic Logic,18, no. 4, 1953.
2. R. W. Ritchie, ?Classes of predictably computable functions,? Trans. Amer. Math. Soc.,106, 1, 1963.
3. A. Church, Introduction to Mathematical Logic, Vol. 1 [Russian translation] IL, Moscow, 1960.
4. B. A. Trakhtenbrot, Impossibility of an Algorithm for the Decision Problem on Finite Classes, DAN SSSR, 70, 1950.
5. J. Riordan, Introduction to Combinational Analysis [Russian translation], IL, Moscow, 1963.