@book{13701149,
	title = {Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя},
	year = {2026}
}