يۇقىرى تەرتىپلىك خەۋەر لوگىكىسى

ماتېماتىكا 高阶谓词逻辑 gāo jiē wèi cí luó jí