中图法 > 数理科学与化学 > 数学 > 谓词演算（命题函项演算）
分类号：O141.12