中图法 > 数理科学与化学 > 数学 > 命题演算、谓词演算、类演算
分类号：O141.1