Normal view
MARC view
Mathematics (Topical Term)
Machine generated authority record
Work cat.: (OSt)1539868: Peng Ningning Et Al 950759, Computability Theory and Foundations of Mathematics - Proceedings of the 9Th International Conference on Computability Theory and Foundations of Mathematics