%0 Journal Article
%A E. A. Kolmakov
%T On a strengthening of the non-isomorphism theorem for provability algebras
%J Doklady Rossijskoj akademii nauk. Matematika, informatika, processy upravleniâ
%D 2021
%P 26-30
%V 499
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DANMA_2021_499_a5/
%G ru
%F DANMA_2021_499_a5