ئاددىي تىپلار نەزەرىيىسى

ماتېماتىكا 简单类型论 jiǎn dān lèi xíng lùn