%0 Journal Article
%A P. G. Naumov
%T Undecidability of the G\"odel--L\"ob logic with quantifiers with respect to propositional variables
%J Vestnik Moskovskogo universiteta. Matematika, mehanika
%D 1993
%P 13-16
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMUMM_1993_2_a2/
%G ru
%F VMUMM_1993_2_a2