Trudy ordena Lenina Matematičeskogo instituta im. V. A. Steklova. 98, Logičeskije i logiko-matematičeskije isčislenija 1 (Nauka, 1968)