Математическая логика и теория алгоритмов. Для студентов высших учебных заведений, обучающихся по направлению 540200 «Физико-математическое образование»книга