Теория рекурсивных функций и эффективная вычислимость

Bibliographic Details
Main Author: Роджерс Х.
Format: Book
Language:Undetermined
Published: М Мир 1972