Сафиуллин Александр Наифович

Публикации в базе данных Math-Net.Ru

1. Выводимость допустимых правил с простыми посылками в исчислении Ламбека
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2007, № 4,  72–76