%0 Journal Article
%A П.С. Новиков
%T On the consistency of certain logical calculus
%J Matematičeskij sbornik
%D 1943
%P 231-261
%V 54
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MS_1943__54_2_a4/
%G en
%F MS_1943__54_2_a4