International Symposium on Current Topics of Logical Structures in MathematicsDate: November 03, 2022Paper Previous Next