%0 Journal Article
%A P. G. Naumov
%T Undecidability of a second-order provability logic with witness comparison
%J Vestnik Moskovskogo universiteta. Matematika, mehanika
%D 1993
%P 14-17
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMUMM_1993_3_a2/
%G ru
%F VMUMM_1993_3_a2