Mašiny T'juringa i rekursivnyje funkcii - Ebbinghaus, Heinz-Dieter, 1939-; Jacobs, Konrad, 1928-2015; Mahn, Friedrich-Karl; Hermes, Hans, 1912-2003; Belagi, È. G. (Moskva : Izdatel'stvo "Mir", 1972)
Obsahuje rejstříky
Keywords: teorie vyčíslitelnosti; Turingův stroj; rekurzivní funkce; monografie; computability theory; monographs