От алгебры логики к математической логике. Последние шагидоклад на конференции