"Теория нумераций" - читать интересную книгу автора (Ершов Ю.Л.)