Сбирка на Логическия колоквиум, 6.06.2019