International Symposium on Current Topics of Logical Structures in MathematicsDate: November 03, 2022 [Paper](https://arxiv.org/abs/2205.01302)Share on Twitter Facebook LinkedIn Previous Next