TY - BOOK TI - Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя SN - 978-5-9710-7713-8 PY - 2026/// ER -