В связи с техническими работами в центре обработки данных, часть прикреплённых файлов в настоящее время недоступна.
 

Интуиционистские модели с равенствомдоклад на конференции