RUS  ENG
Full version
PEOPLE

Safiullin Aleksandr Naifovich

Publications in Math-Net.Ru

  1. Derivability of admissible rules with simple premises in the Lambek calculus

    Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2007, no. 4,  72–76

© Steklov Math. Inst. of RAS, 2026