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