Комментарии к работам В.А. Смирнова, посвященным логическому наследию Н.А. Васильевастатья