%0 Journal Article
%A F. R. Kashapova
%T Constructive set theory with types, and consistency with Church's thesis
%J Vestnik Moskovskogo universiteta. Matematika, mehanika
%D 1984
%P 72-75
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMUMM_1984_4_a18/
%G ru
%F VMUMM_1984_4_a18