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