The Completeness Theorem 章节 发表日期： 2025年 查看全文 Lorenz Halbeisen, Regula Krapf 摘要 The codes of special constants are ordered by their length and lexicographically, where 0 < 1 < 2 < 6 < 8 < 9.
