Математическая логика и теория алrоритмов (Гуц А.К.)