Интерпретация логических формул посредством финитных задач и связь ее с теорией реализуемостистатья