Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 2 (2009), pp. 59-62
Citer cet article
Yu. V. Savateev. Recognition of derivability for the Lambek calculus with one division. Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 2 (2009), pp. 59-62. http://geodesic.mathdoc.fr/item/VMUMM_2009_2_a11/
@article{VMUMM_2009_2_a11,
author = {Yu. V. Savateev},
title = {Recognition of derivability for the {Lambek} calculus with one division},
journal = {Vestnik Moskovskogo universiteta. Matematika, mehanika},
pages = {59--62},
year = {2009},
number = {2},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/VMUMM_2009_2_a11/}
}
TY - JOUR
AU - Yu. V. Savateev
TI - Recognition of derivability for the Lambek calculus with one division
JO - Vestnik Moskovskogo universiteta. Matematika, mehanika
PY - 2009
SP - 59
EP - 62
IS - 2
UR - http://geodesic.mathdoc.fr/item/VMUMM_2009_2_a11/
LA - ru
ID - VMUMM_2009_2_a11
ER -
%0 Journal Article
%A Yu. V. Savateev
%T Recognition of derivability for the Lambek calculus with one division
%J Vestnik Moskovskogo universiteta. Matematika, mehanika
%D 2009
%P 59-62
%N 2
%U http://geodesic.mathdoc.fr/item/VMUMM_2009_2_a11/
%G ru
%F VMUMM_2009_2_a11
