Лекция 7 часть 2
Требуемые условия завершения
Теорема о дедукции в ИВ. Примеры вывода в ИВ.
Нажмите на ссылку Лекция 7 часть 2, чтобы открыть ресурс.