Kuzichev Andrei Aleksandrovich

Publications in Math-Net.Ru

1. A conservative extension of a formal arithmetic
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1988, no. 6,  77–78
2. The representation of arithmetic in combinatorially complete systems
   
   Dokl. Akad. Nauk SSSR, 278:3 (1984),  537–541
3. Addition of noncombinatory relations to the calculus of $\lambda$-conversion
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1984, no. 6,  34–36
4. On the imbedding of formal arithmetic in combinatorially complete systems
   
   Dokl. Akad. Nauk SSSR, 250:6 (1980),  1310–1315