REFERENCES
Mendelson, E., Introduction to Mathematical Logic, Princeton, N.J.: Van Nostrand, 1964. Translated under the title Vvedenie v matematicheskuyu logiku, Moscow: Nauka, 1976.
Minsky, M., Computation: Finite and Infinite Machines, Englewood Cliffs, N.J.: Prentice Hall, 1967. Translated under the title Vychisleniya i avtomaty, Moscow: Mir, 1971.
Markov, A.A. and Nagornyi, N.M., Teoriya algorifmov (The Theory of Algorithms), Moscow: Nauka, 1984.
Lavrov, S.S. and Silagadze, G.S., Avtomaticheskaya obrabotka dannykh. Yazyk Lisp i ego realizatsiya (Automated Data Processing: The Lisp Language and Its Implementation), Bibliotechka programmista, Moscow: Nauka, 1978.
Ershov, A.P., Izbrannye trudy (Selected Works), Pottosin, I.V., Ed., Novosibirsk: VO Nauka, 1994.
Partial Evaluation and Mixed Computation (Proc. of the IFIP TC2 Workshop, Denmark, 1987), Björner, D., Ershov, A.P., and Jones, N.D., Eds., Amsterdam: North-Holland, 1988.
Gunther, N.M., On Statements of Some Problems of Mathematical Physics, Uchenye zapiski Leningradskogo gos. universiteta, 1940, no. 55, pp. 12-26.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Lavrov, S.S. On the Relationship between Foundations of Programming and Mathematics. Programming and Computer Software 27, 289–296 (2001). https://doi.org/10.1023/A:1012746417053
Issue Date:
DOI: https://doi.org/10.1023/A:1012746417053