The Theory of Algorithms

Journal of Symbolic Logic 18 (4):340-341 (1953)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2266585
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,355
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Notes on Constructive Negation.Grigori Mints - 2006 - Synthese 148 (3):701-717.
A Theory of Truth Based on a Medieval Solution to the Liar Paradox.Richard L. Epstein - 1992 - History and Philosophy of Logic 13 (2):149-177.
Computationalism.Valerie Gray Hardcastle - 1995 - Synthese 105 (3):303-17.
Proof Theory in the USSR 1925–1969.Grigori Mints - 1991 - Journal of Symbolic Logic 56 (2):385-424.

Add more citations

Similar books and articles

Classes of Markov-Like K-ALGORITHMS.Zdzislaw Grodzki & Jerzy Mycka - 1996 - Reports on Mathematical Logic:83-99.
On the Existence of Fair Matching Algorithms.F. Masarani & S. S. Gokturk - 1989 - Theory and Decision 26 (3):305-322.
How to Think About Algorithms.Jeff Edmonds - 2008 - Cambridge University Press.
Theory of Algorithms.A. A. Markov - 1957 - Journal of Symbolic Logic 22 (1):77-79.
Selected Papers on Design of Algorithms.Donald Ervin Knuth - 2010 - Center for the Study of Language and Information.
Review: A. A. Markov, Theory of Algorithms. [REVIEW]J. R. Shoenfield - 1962 - Journal of Symbolic Logic 27 (2):244-244.
Review: A. A. Markov, The Theory of Algorithms. [REVIEW]Andrzej Mostowski - 1953 - Journal of Symbolic Logic 18 (4):340-341.
Review: A. A. Markov, Theory of Algorithms. [REVIEW]Gene F. Rose - 1957 - Journal of Symbolic Logic 22 (1):77-79.

Analytics

Added to PP index
2015-02-05

Total views
49 ( #180,995 of 2,286,105 )

Recent downloads (6 months)
6 ( #195,941 of 2,286,105 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature