у. -ое исчисление предикатов мат. лог. русский Русско-узбекский словарь по математике predikatlarning bir yoqlama (tor) hisobi
