TY  - JOUR
AU  - S. V. Sudoplatov
TI  - Special relations for formulae, their equivalence relations and theories
JO  - Sibirskie èlektronnye matematičeskie izvestiâ
PY  - 2022
SP  - 259
EP  - 272
VL  - 19
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SEMR_2022_19_1_a10/
LA  - en
ID  - SEMR_2022_19_1_a10
ER  -