| 1. | Several factors in mathematical logic translation
数理逻辑翻译中的几个因素 |
| 2. | Methods based on the semantic theory of nonclassical logic
方法非经典数理逻辑的语义理论。 |
| 3. | A . g . hamilton : logic for mathematicians . cambridge university press , 1978
陆钟万：面向计算机科学的数理逻辑（第二版） ，科学出版社2002 。 |
| 4. | Those who are “ numbers and logic smart ” excel at math and science
具有“数理逻辑智能”的人，在数学和自然科学方面表现出有杰出的才能。 |
| 5. | L . t . f gamut : logic , language , and meaning . the university of chicago press , 1991
李小五：数理逻辑? ?现代逻辑学讲义，中山大学出版社2005 。 |
| 6. | There are advantages and disadvantage in both induction and deduction , and they are intertwined
究其实，争论是由逻辑观传统形式逻辑和现代数理逻辑的不同引起的。 |
| 7. | He has an msc in mathematical logic and the theory of computation from bristol university , uk
他具有英国bristol university颁发的数理逻辑和计算理论的理学硕士学位。 |
| 8. | R . cori & d . lascar : mathematical logic ? a course with exercises , part i . oxford university press , 2001
陈慕泽余俊伟：数理逻辑基础? ?一阶逻辑与一阶理论，中国人民大学出版社2003 。 |
| 9. | This paper shows that the methods of mathematical logic may have a broad application and also valuable to human ' s daily thinking
这说明，数理逻辑的方法可以有广泛的运用，它对于日常思维同样有重要的价值。 |
| 10. | This is an article about mathematical logic , its are basic the thought is to stem from the true reason that considers a theory to prove end at result of a kind of calculative
这是一篇关于数理逻辑的文章，其基本思想是出于想把理论的真理性论证归结于一种计算的结果。 |
