“高阶谓词演算”的意思、由来-百科全书

词条	高阶谓词演算
释义	高阶谓词演算数理化力学卷高阶谓词演算　　数理逻辑的组成部分,形式化的高阶逻辑系统。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	襄阳乐襄阳会襄阳府襄阳路襄阳郡襄陵襆襆头襆被襈襊襋襌襐襒襕襕衫襚襜襜帷襜褕襞襞█ 襞积襟

百科全书收录258893条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。