?邱池整数
... 邱池整数 Church integer 邱池论题 Church thesis 邱池-杜林论题 Church-Turing thesis ...
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。