“type-logical grammar”的概念、定义、翻译、参考文献-科学参考

单词	type-logical grammar
释义	type-logical grammar Encyclopedia 哲学逻辑释 type-logical grammar类型-逻辑语法一种建立在类型-逻辑语义学基础上的范畴语法。是范畴类型逻辑序列发展的一个阶段。
随便看	UNSD Unsealed Official Documents unsealed radioactive material unsealed radioactive source unseen companion unseen component unseen matter unselected marker unseparated unset unsetting body Unsettling Afternoon unshaped refractories unsharp masking unsharp quantum logic unshelled eggs unshielded twisted pair unshielded twisted pair, UTP unsigned number unsmeltable unsmooth discharge unsolicited distribution unsolidified unsolvability unsolvability theorem

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