%0 Journal Article
%A V. A. Matulis
%T Поправки к статье “Два варианта классического исчисления предикатов без структурных правил вывода”
%J Doklady Akademii Nauk
%D 1964
%P 502
%V 158
%N 3
%U http://geodesic.mathdoc.fr/item/DAN_1964_158_3_a41/
%G ru
%F DAN_1964_158_3_a41