ماتېماتىلىق لوگىكا

ئۇنىۋېرسال 数理逻辑 shù lǐ luó jí