Persons RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB     Krupskii, Nikolai Vladimirovich https://www.mathnet.ru/eng/person150920 List of publications on Google Scholar Publications in Math-Net.Ru Citations 2006 1. N. V. Krupskii, “Restoration of types in reflexive combinatory logic”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2006, no. 3,  53–55       2. N. V. Krupskii, “Minimal models and the complexity of fragments of the logic of proofs”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2006, no. 1,  52–53       Organisations Lomonosov Moscow State University