Кузнецов С.Л. в программном комитете конференции Computer Science Logic 2023 (Варшава, Poland, 13-16 февраля 2023)членство в программном комитете конференции