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

词条	高阶谓词演算
释义	高阶谓词演算数理化力学卷高阶谓词演算　　数理逻辑的组成部分,形式化的高阶逻辑系统。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	百幅被百年百年大计百年孤独百年战争百年禁教百年通谕百废具兴百度百忍百思买集团百感百慕大Ⅰ 百慕大Ⅱ 百慕大三角区百慕大协定百慕大式期权百慕大期权百慕大杯赛百慕大（英）百戏百战不殆百战奇法百战奇略百战百胜

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