|
|
|
Publications in Math-Net.Ru |
Citations |
|
1989 |
| 1. |
N. A. Pankrat'ev, “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. |
N. A. Pankrat'ev, “Predicate calculus and arithmetic with Grzegorczyk logic”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1989, no. 5, 83–85 |
|
1988 |
| 3. |
N. A. Pankrat'ev, “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. |
N. A. Pankrat'ev, “The language of Turing machines from the point of view of optimality”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1988, no. 5, 66–68 |
|
| Organisations |
|
|
Contact us: