%0 Journal Article
%A E. E. Zolin
%T The Craig interpolation property in logics of proofs with a strong provability operator
%J Vestnik Moskovskogo universiteta. Matematika, mehanika
%D 1997
%P 53-55
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMUMM_1997_4_a16/
%G ru
%F VMUMM_1997_4_a16