Computability Theory and Foundations of Mathematics - Proceedings of the 9Th International Conference on Computability Theory and Foundations of Mathematics - Peng Ningning Et Al (World Scientific, 2022)
Keywords: Mathematics