|
Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika, 2007, Number 4, Pages 72–76
(Mi vmumm1070)
|
|
|
|
This article is cited in 1 scientific paper (total in 1 paper)
Short notes
Derivability of admissible rules with simple premises in the Lambek calculus
A. N. Safiullin
Received: 11.10.2006
Citation:
A. N. Safiullin, “Derivability of admissible rules with simple premises in the Lambek calculus”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2007, no. 4, 72–76
Linking options:
https://www.mathnet.ru/eng/vmumm1070 https://www.mathnet.ru/eng/vmumm/y2007/i4/p72
|
Statistics & downloads: |
Abstract page: | 59 | Full-text PDF : | 38 |
|