%0 Journal Article
%A V. N. Grishin
%T Predicate and set-theoretic calculi based on logic without contractions
%J Izvestiya. Mathematics 
%D 1982
%P 41-59
%V 18
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IM2_1982_18_1_a2/
%G en
%F IM2_1982_18_1_a2