"Handbook of recursive mathematics" - читать интересную книгу автора (Ershov Yu. L., et al., Marek V.M. (eds.))