TY  - JOUR
AU  - A. A. Onoprienko
TI  - The predicate version of the joint logic of problems and propositions
JO  - Sbornik. Mathematics
PY  - 2022
SP  - 981
EP  - 1003
VL  - 213
IS  - 7
UR  - http://geodesic.mathdoc.fr/item/SM_2022_213_7_a2/
LA  - en
ID  - SM_2022_213_7_a2
ER  -