Книга является общедоступным введением в теорию алгоритмов и рассматривает круг вопросов, лежащих на грани между математи­ ческой логикой и теорией автоматических вычислительных машин. Рассчитана на широкий ^круг читателей, интересующихся кибернети­ кой, вычислительной математикой и техникой.