%0 Journal Article
%A Ya. I. Petrukhin
%T Natural deduction system for three-valued Heyting's logic
%J Vestnik Moskovskogo universiteta. Matematika, mehanika
%D 2017
%P 63-66
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMUMM_2017_3_a9/
%G ru
%F VMUMM_2017_3_a9