Theory of algorithms - Markov A A; Schorr-Kon J J (Washington National Science Foundation, 1961)
Tr from Russian
Keywords: Algorithm; Mathematical logic