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

单词	类型-逻辑语法
释义	类型-逻辑语法 Encyclopedia 哲学逻辑释 type-logical grammar类型-逻辑语法一种建立在类型-逻辑语义学基础上的范畴语法。是范畴类型逻辑序列发展的一个阶段。
随便看	portable circuit checker portable computer portable darkroom portable differential optical absorption spectrometer portable energy dispersive X-ray fluorescence analyzer portable fire extinguisher Portable gamma-ray spectrometer portable gamma spectrometer portable gas alarm portable hydrological logging meter portable in situ fluorescence fast detector of water algae portable life support system portable media player portable meridian circle portable operating system portable penetrant test device portable roadway equipment portable sprinkler system portable steel bridge portable steel bridge pier portable surface contamination monitor portable transit instrument portable visibility lidar portable X-ray fluorimeter portable X/γ radiation monitoring meter

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