Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 4 (2007), pp. 72-76
Citer cet article
A. N. Safiullin. Derivability of admissible rules with simple premises in the Lambek calculus. Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 4 (2007), pp. 72-76. http://geodesic.mathdoc.fr/item/VMUMM_2007_4_a12/
@article{VMUMM_2007_4_a12,
author = {A. N. Safiullin},
title = {Derivability of admissible rules with simple premises in the {Lambek} calculus},
journal = {Vestnik Moskovskogo universiteta. Matematika, mehanika},
pages = {72--76},
year = {2007},
number = {4},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/VMUMM_2007_4_a12/}
}
TY - JOUR
AU - A. N. Safiullin
TI - Derivability of admissible rules with simple premises in the Lambek calculus
JO - Vestnik Moskovskogo universiteta. Matematika, mehanika
PY - 2007
SP - 72
EP - 76
IS - 4
UR - http://geodesic.mathdoc.fr/item/VMUMM_2007_4_a12/
LA - ru
ID - VMUMM_2007_4_a12
ER -
%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
%U http://geodesic.mathdoc.fr/item/VMUMM_2007_4_a12/
%G ru
%F VMUMM_2007_4_a12
