TY  - JOUR
AU  - S. L. Kuznetsov
TI  - Lambek calculus with a unit and one division
JO  - Vestnik Moskovskogo universiteta. Matematika, mehanika
PY  - 2011
SP  - 55
EP  - 57
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VMUMM_2011_4_a10/
LA  - ru
ID  - VMUMM_2011_4_a10
ER  -