“类型-逻辑语法”的概念、定义、翻译、参考文献-科学参考

单词	类型-逻辑语法
释义	类型-逻辑语法 Encyclopedia 哲学逻辑释 type-logical grammar类型-逻辑语法一种建立在类型-逻辑语义学基础上的范畴语法。是范畴类型逻辑序列发展的一个阶段。
随便看	“Ripe Policy”to Cuba “Russian Detective” Case “short five”lemma “sidecars” “Strategic Hamlet Program” “summer sporeling”technique of Saccharina japonica “Tasman sea” tanker oil spill accident “Ten Ghost”theory by Dentsu “Three Emphases” Education “three noes” of personnel (people without labor, source of income and legal dependant) “three recovery” indexes of mineral resources “three simultaneities”system “Two Bombs and One Satellite”Advanced Group “T”型进样 “U”型生产单元 “V”坑密度 “We are Public Servants” “Wen Jin”Book Award of The National Library of China “West-to-East” gas pipeline Ⅱ “wreck resisting enemy” “wu da dao”villa area garden of Tianjin “Wu Wu” Draft Constitution “X频段陆地合成孔径雷达”号卫星 “Zhi Shi Xuan Yue”Memorial Archway “zombie companies”

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。