Problemy matematičeskoj logiki : složnost' algoritmov i klassy vyčislimyh funkcij : SBORNIK PEREVODOV (Biblioteka "Kibernetičeskogo sbornika" / Mir - Moskva., 1970)