%0 Journal Article
%A O. A. Okhotnikov
%T On normal deduction proofs in intuitionistic natural predicate calculus
%J Trudy Instituta matematiki i mehaniki
%D 2024
%P 188-206
%V 30
%N 4
%U http://geodesic.mathdoc.fr/item/TIMM_2024_30_4_a14/
%G ru
%F TIMM_2024_30_4_a14