Семинар 1. С.Л. Кузнецов, В.Б. Шехтман. Алгебраическая и категорная логика