|
Zapiski Nauchnykh Seminarov LOMI, 1979, Volume 88, Pages 218–235
(Mi znsl3116)
|
|
|
|
This article is cited in 1 scientific paper (total in 1 paper)
On canonical recursive functions and operations
N. A. Shanin
Abstract:
Some properties of canonical recursive functions and operations are established. This gives a way to formulate a calculus for these functions and operations similar to Goodstein's equations calculus for primitive recursive functions.
Citation:
N. A. Shanin, “On canonical recursive functions and operations”, Studies in constructive mathematics and mathematical logic. Part VIII, Zap. Nauchn. Sem. LOMI, 88, "Nauka", Leningrad. Otdel., Leningrad, 1979, 218–235; J. Soviet Math., 20:4 (1982), 2381–2390
Linking options:
https://www.mathnet.ru/eng/znsl3116 https://www.mathnet.ru/eng/znsl/v88/p218
|
Statistics & downloads: |
Abstract page: | 179 | Full-text PDF : | 97 |
|