Математическая логика. Доказательство достаточного условия теоремы Поста. Шаг 1 - построение констант

Лекция проф. Ю.Г. Карпова к дистанционному курсу “Математическая логика“
Back to Top