%0 Journal Article
%A A. A. Onoprienko
%T The predicate version of the joint logic of problems and propositions
%J Sbornik. Mathematics
%D 2022
%P 981-1003
%V 213
%N 7
%U http://geodesic.mathdoc.fr/item/SM_2022_213_7_a2/
%G en
%F SM_2022_213_7_a2