%0 Journal Article
%A S. L. Kuznetsov
%T Lambek calculus with one division and one primitive type permitting empty antecedents
%J Vestnik Moskovskogo universiteta. Matematika, mehanika
%D 2009
%P 62-65
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMUMM_2009_2_a12/
%G ru
%F VMUMM_2009_2_a12