Borja Sierra Miranda (University of Bern) выступит с докладом на семинаре НУГ "Доказательства и модели"
Borja Sierra Miranda (University of Bern, Institute of Computer Science, Logic and Theory Group) выступит с докладом "Non-wellfounded master modality: from cut admissibility to cut elimination" на семинаре "Современные проблемы математической логики" 11 октября 2024 г.
30 сентября
2024