Nogina Elena Yur'evna

Publications in Math-Net.Ru

1. Grzegorczyk logic with arithmetical proof operators
   
   Fundam. Prikl. Mat., 2:2 (1996),  483–499
2. Classes of arithmetic companions of modal provability logics
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1990, no. 1,  31–33
3. Relations between certain classes of effectively topological spaces
   
   Mat. Zametki, 5:4 (1969),  483–495
4. Effectively topological spaces
   
   Dokl. Akad. Nauk SSSR, 169:1 (1966),  28–31