International Symposium on Current Topics of Logical Structures in Mathematics

Date:

[Paper](https://arxiv.org/abs/2205.01302)