Sorokin Alexey Andreevich

Publications in Math-Net.Ru

1. Chair of Mathematical Logic and Theory of Algorithms
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2025, no. 1,  23–32
2. The length of joins in Lambek calculus
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2011, no. 3,  10–14