Post Emil L.. Formal reductions of the general combinatorial decision problem. American journal of mathematics, vol. 65 , pp. 197–215 [Book Review]

Journal of Symbolic Logic 8 (2):50-52 (1943)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268005

Links

PhilArchive



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

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: Emil L. Post, Formal Reductions of the General Combinatorial Decision Problem. [REVIEW]Alonzo Church - 1943 - Journal of Symbolic Logic 8 (1):50-52.
Formal Reductions of the General Combinatorial Decision Problem.Emil L. Post - 1943 - Journal of Symbolic Logic 8 (1):50-52.
Introduction to a general theory of elementary propositions.Emil L. Post - 1921 - American Journal of Mathematics 43 (3):163--185.
Post. Emil L. A variant of a recursively unsolvable problem. Bulletin of the American Mathematical Society, vol. 52 , pp. 264–268. [REVIEW]Alonzo Church - 1947 - Journal of Symbolic Logic 12 (2):55-56.
The one-one equivalence of some general combinatorial decision problems.Charles E. Hughes & W. E. Singletary - 1977 - Notre Dame Journal of Formal Logic 18 (2):305-309.
Closing the Circle: An Analysis of Emil Post's Early Work.Liesbeth De Mol - 2006 - Bulletin of Symbolic Logic 12 (2):267 - 289.
Closing the circle: An analysis of Emil post's early work.Liesbeth de Mol - 2006 - Bulletin of Symbolic Logic 12 (2):267-289.
Review: Emil L. Post, A Variant of a Recursively Unsolvable Problem. [REVIEW]Alonzo Church - 1947 - Journal of Symbolic Logic 12 (2):55-56.
Post Emil L.. Recursively enumerable sets of positive integers and their decision problems. Bulletin of the American Mathematical Society, vol. 50 , pp. 284–316. [REVIEW]J. C. C. McKinsey - 1945 - Journal of Symbolic Logic 10 (1):18-19.
Solvability, Provability, Definability: The Collected Works of Emil L. Post.Emil Leon Post & Martin Davis - 1994 - Birkhauser.
- M. H. A. Newman. Relatively complemented algebras. The journal of the London Mathematical Society, vol. 17 , pp. 34–47. [REVIEW]Saunders MacLane - 1942 - Journal of Symbolic Logic 7 (3):124-125.
The general decision problem for Markov algorithms with axiom.C. E. Hughes - 1975 - Notre Dame Journal of Formal Logic 16 (2):208-216.
Webb Donald L.. Definition of Post's generalized negative and maximum in terms of one binary operation. American journal of mathematics, vol. 58 , pp. 193–194. [REVIEW]Alonzo Church - 1936 - Journal of Symbolic Logic 1 (1):42-42.
Recursively Enumerable Sets of Positive Integers and Their Decision Problems.Emil L. Post - 1945 - Journal of Symbolic Logic 10 (1):18-19.
Redukcje ontologiczne w matematyce. Część I.Krzysztof Wójtowicz - 2008 - Filozofia Nauki 3.

Analytics

Added to PP
2016-06-30

Downloads
14 (#965,243)

6 months
4 (#790,687)

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