Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Plisko, Valerii Egorovich
2023.
The nonarithmeticity of the predicate logic
of primitive recursive realizability.
Izvestiya: Mathematics,
Vol. 87,
Issue. 2,
p.
389.
Plisko, Valerii Egorovich
2023.
Неарифметичность предикатной логики примитивно рекурсивной реализуемости.
Известия Российской академии наук. Серия математическая,
Vol. 87,
Issue. 2,
p.
196.