TY  - JOUR
AU  - E. A. Kolmakov
TI  - On a strengthening of the non-isomorphism theorem for provability algebras
JO  - Doklady Rossijskoj akademii nauk. Matematika, informatika, processy upravleniâ
PY  - 2021
SP  - 26
EP  - 30
VL  - 499
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DANMA_2021_499_a5/
LA  - ru
ID  - DANMA_2021_499_a5
ER  -