second-order logic

二階邏輯

學術名詞

• 第二階邏輯：資訊