As this expanded name suggests, it is designed in such a way as to emphasize its close relationship to, and solid foundation in, the discipline of predicate logic, q.v.

 
  • 正如其全称所示:如此设计,旨在强调其与谓语逻辑原理的密切关系和及其坚实的基础地位。
今日热词
目录 附录 查词历史