Krupskii Nikolai Vladimirovich

Publications in Math-Net.Ru

1. Restoration of types in reflexive combinatory logic
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2006, no. 3,  53–55
2. Minimal models and the complexity of fragments of the logic of proofs
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2006, no. 1,  52–53