%0 Journal Article
%A M. V. Patlasov
%T Propositional formulas closed in the~minimal calculus
%J Fundamentalʹnaâ i prikladnaâ matematika
%D 2000
%P 1155-1191
%V 6
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/FPM_2000_6_4_a13/
%G ru
%F FPM_2000_6_4_a13