%0 Journal Article %A A. N. Safiullin %T Derivability of admissible rules with simple premises in the Lambek calculus %J Vestnik Moskovskogo universiteta. Matematika, mehanika %D 2007 %P 72-76 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/VMUMM_2007_4_a12/ %G ru %F VMUMM_2007_4_a12