LUW 2022.6:  Nate Ackermann - Encoding Complete Metric Structures by Classical Structures

LUW 2022.6: Nate Ackermann - Encoding Complete Metric Structures by Classical Structures

Universal Logic Project

2 года назад

63 Просмотров

Ссылки и html тэги не поддерживаются


Комментарии: