%0 Journal Article
%A G. V. Bokov
%T Undecidable iterative propositional calculus
%J Algebra i logika
%D 2016
%P 419-431
%V 55
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2016_55_4_a1/
%G ru
%F AL_2016_55_4_a1