Markov A. A.. On the representation of recursive functions. English translation of XV 66 . American Mathematical Society, translation number 54. Lithoprinted. New York 1951, 13 pp [Book Review]

Journal of Symbolic Logic 17 (1):72-73 (1952)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267488

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,571

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Shih-Hua Hu. Recursive algorithms. Theory of recursive algorithms I. English translation of XXXVII 640. Scientia Sinica, vol. 9 , pp. 843–875. Reprinted in Chinese mathematics, vol. 1 , pp. 64–96.Shih-Hua Hu and Chung-Wan Loh. Kernel functions. Theory of recursive algorithms II. English translation of XXXVII 640. Scientia Sinica, vol. 9 , pp. 876–888. Reprinted ibid., pp. 97–109.Shih-Hua Hu. Normal forms of recursive functions. Theory of recursive algorithms III. English translation of XXXVII 640. Scientia Sinica, vol. 9 , pp. 889–896. Reprinted ibid., pp. 110–117. [REVIEW]V. Vuckovic - 1972 - Journal of Symbolic Logic 37 (3):612-612.
Review: A. A. Markov, On the Representation of Recursive Functions. [REVIEW]Alonzo Church - 1952 - Journal of Symbolic Logic 17 (1):72-73.
Review: A. V. Gladkij, O raspoznavanii zaméščaémosti v rékursivnyh ázykah; A. V. Gladkij, M. Greendlinger, On the Recognition of Replaceability in Recursive Languages. [REVIEW]Arto Salomaa - 1970 - Journal of Symbolic Logic 35 (2):340-340.
Markov A. A.. Ob invérsionnoj složnosti sistém funkcij. Doklady Akadémii Nauk SSSR, vol. 116 , pp. 917–919.Markov A. A.. On the inversion complexity of a system of functions. English translation of the preceding by Morris D. Friedman. Journal of the Association for Computing Machinery, vol. 5 , pp. 331–334. [REVIEW]E. N. Gilbert - 1965 - Journal of Symbolic Logic 30 (3):378-379.
The Friedman‐Translation for Martin‐Löf's Type Theory.Erik Palmgren - 1995 - Mathematical Logic Quarterly 41 (3):314-326.
Computability of Real Numbers by Using a Given Class of Functions in the Set of the Natural Numbers.Dimiter Skordev - 2002 - Mathematical Logic Quarterly 48 (S1):91-106.
Kleene S. C.. A note on recursive functions. Bulletin of the American Mathematical Society, vol. 42 , pp. 544–546.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (3):119-119.
Review: A. G. Dragalin, E. Mendelson, Mathematical Intuitionism. Introduction to Proof Theory. [REVIEW]A. S. Troelstra - 1990 - Journal of Symbolic Logic 55 (3):1308-1309.
Translation.Naoki Sakai - 2006 - Theory, Culture and Society 23 (2-3):71-78.
On the Representation of Recursive Functions.A. A. Markov - 1950 - Journal of Symbolic Logic 15 (1):66-66.
Nelson David. Recursive functions and intuitionistic number theory. Transactions of the American Mathematical Society, vol. 61 , pp. 307–368. See Errata, ibid., p. 556. [REVIEW]Andrzej Mostowski - 1947 - Journal of Symbolic Logic 12 (3):93-94.
Review: A. A. Markov, On the Representation of Recursive Functions. [REVIEW]Andrzej Mostowski - 1950 - Journal of Symbolic Logic 15 (1):66-66.
Fragments of $HA$ based on $\Sigma_1$ -induction.Kai F. Wehmeier - 1997 - Archive for Mathematical Logic 37 (1):37-49.
Tacitus: The Histories. With an English Translation by Clifford H. Moore of Harvard University (Books IV-V). The Annals, with an English Translation by John Jackson (Books I-III). (The Loeb Library.) Pp. 643, 3 maps. London: Heinemann; New York, Putnam, 1931. Cloth, 10s. net. [REVIEW]J. G. C. Anderson - 1932 - The Classical Review 46 (01):39-.
Florus and Nepos Lucius Annaeus Florus. With an English translation by E. S. Forster, M.A. Cornelius Nepos. With an English translation by J. C. Rolfe, Litt.D. London : Heinemann; New York: Putnam's Sons, 1929. Pp. xv + 744. Cloth, 10s.; leather, 12s. 6d. [REVIEW]E. J. Wood - 1930 - The Classical Review 44 (05):194-195.

Analytics

Added to PP
2016-06-30

Downloads
12 (#1,078,270)

6 months
1 (#1,469,469)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references