中图分类号查询 > 数理科学和化学 > 数学 > 数理逻辑、数学基础 > 数理逻辑（符号逻辑） > 命题演算、谓词演算、类演算 > 谓词演算（命题函项演算）

没有下级分类