Review: A. A. Markov, On the Representation of Recursive Functions [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,998

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

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.
Characterizations of Commutative POV Measures.Anna Jenčová & Sylvia Pulmannová - 2009 - Foundations of Physics 39 (6):613-624.
Accessible recursive functions.Stanley S. Wainer - 1999 - Bulletin of Symbolic Logic 5 (3):367-388.
Polynomially Bounded Recursive Realizability.Saeed Salehi - 2005 - Notre Dame Journal of Formal Logic 46 (4):407-417.
Minimal realizability of intuitionistic arithmetic and elementary analysis.Zlatan Damnjanovic - 1995 - Journal of Symbolic Logic 60 (4):1208-1241.
Theory of recursive functions and effective computability.Hartley Rogers - 1987 - Cambridge: MIT Press.
Review: S. C. Kleene, A note on recursive functions. [REVIEW]Alonzo Church - 1936 - Journal of Symbolic Logic 1 (3):119-119.
Some restrictions on simple fixed points of the integers.G. L. McColm - 1989 - Journal of Symbolic Logic 54 (4):1324-1345.
Unary primitive recursive functions.Daniel E. Severin - 2008 - Journal of Symbolic Logic 73 (4):1122-1138.
Formal systems and recursive functions.John N. Crossley & Michael Dummett (eds.) - 1965 - Amsterdam,: North-Holland Pub. Co..
Review: E. A. Polakov, Algebras of recursive functions); E. A. Polakov, On some properties of algebras of recursive functions. [REVIEW]Elliott Mendelson - 1972 - Journal of Symbolic Logic 37 (2):408-409.
Hyper-Torre isols.Erik Ellentuck - 1981 - Journal of Symbolic Logic 46 (1):1-5.

Analytics

Added to PP
2013-11-22

Downloads
1 (#1,902,042)

6 months
1 (#1,472,961)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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