Pankrat'ev Nikolai Anatol'evich

Publications in Math-Net.Ru

1. The disjunction property and Church's thesis in arithmetic with Grzegorczyk logic
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1989, no. 6,  63–65
2. Predicate calculus and arithmetic with Grzegorczyk logic
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1989, no. 5,  83–85
3. Church's thesis from the point of view of the provability interpretation
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1988, no. 6,  61–63
4. The language of Turing machines from the point of view of optimality
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1988, no. 5,  66–68