中圖分類號查詢 > 數理科學和化學 > 數學 > 數理邏輯、數學基礎 > 數理邏輯（符號邏輯） > 命題演算、謂詞演算、類演算 > 謂詞演算（命題函項演算）