у. -ое исчисление предикатов мат. лог. русча 1 та луғатда учрайди ЖСОН Барча қидирув натижалари Математикадан русча-ўзбекча луғат русча у. -ое исчисление предикатов мат. лог. предикатларнинг бир ёқлама (тор) ҳисоби Мақоладаги хато ҳақида хабар бериш
