%0 Journal Article
%A Ya. I. Petrukhin
%T Deduction normalization theorem for Sette's logic and its modifications
%J Vestnik Moskovskogo universiteta. Matematika, mehanika
%D 2019
%P 26-33
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMUMM_2019_1_a4/
%G ru
%F VMUMM_2019_1_a4