＞数理逻辑与数学基础＞模型论＞释义 first-order logic 一阶逻辑 first-order logic 一阶逻辑†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- solar magnetic tube
- solar magnetism
- solar magnetograph
- solar magnetogrph
- solar mass
- solar-mass star
- Solar Maximum Mission
- solar maximum year
- solar meridional circulation
- solar microwave burst
- solar modulation
- solar modulation of cosmic rays
- solar monitoring
- solar month
- solar motion
- solar mottle
- solar nebula
- solar neighbourhood
- solar network magnetic field
- solar neutrino
- solar neutrino deficit
- solar neutrino flux
- solar neutrino problem
- solar neutrino unit
- solar noise