International Symposium on Current Topics of Logical Structures in Mathematics

Date:

Paper