Лекции МатЛог второй семестр

На какое-то время в СДО появились лекции по МатЛогу за второй семестр, после чего вновь были заботливо скрыты. Может у кого-то остались файлы с ними/записи?