%0 Journal Article
%A G. F. Schwartz
%T Open existence properties for some extensions of the intuitionistic type theory
%J Doklady Akademii Nauk
%D 1980
%P 562-565
%V 251
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1980_251_3_a11/
%G ru
%F DAN_1980_251_3_a11