Vol. 19. Vereshchagin, Nikolai Konstantinovich; Shen, Alexander
Computable functions
QA9.59 V4713