Normal logic has been moving forward towards dynamic logic from static logic in the last 50 years.
规范逻辑近半个世纪正在从静态逻辑走向动态逻辑。
youdao
应用推荐
模块上移
模块下移
不移动