References
R. Goldblatt, Topos: The Categorical Analysis of Logic [Russian translation], Mir, Moscow (1983).
P. T. Johnstone, Topos Theory [Russian translation], Nauka, Moscow (1986).
V. M. Glushkov, G. E. Tseitlin, and E. L. Yushchenko, Algebra, Languages, and Programming [in Russian], Naukova Dumka, Kiev (1974).
R. Smullyan, Theory of Formal Systems [Russian translation], Nauka, Moscow (1981).
E. Mendelson, Introduction to Mathematical Logic [Russian translation], Nauka, Moscow (1971).
Additional information
Translated from Kibernetika i Sistemnyi Analiz, No. 5, pp. 30–41, September–October, 1996.
Rights and permissions
About this article
Cite this article
Provotar, A.I. Geometry of recursion for arithmetic and existentially defined relations. Cybern Syst Anal 32, 632–640 (1996). https://doi.org/10.1007/BF02367766
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02367766