ئۈچىنچى تەرتىپلىك دەۋرىي لوگىكىسى

ماتېماتىكا 三阶谓词逻辑 sān jiē wèi cí luó jí