Post, Emil L. Formal reductions of the general combinatorial decision problem. (English) Zbl 0063.06327 Am. J. Math. 65, 197-215 (1943). Reviewed by Alonzo Church, J. Symb. Logic 8, No. 1, 50–52 (1943; doi:10.2307/2268006). Cited in 3 ReviewsCited in 96 Documents MSC: 03-XX Mathematical logic and foundations Keywords:assertion logic; canonical forms; logical givens; unsolvability; null set; solvability PDF BibTeX XML Cite \textit{E. L. Post}, Am. J. Math. 65, 197--215 (1943; Zbl 0063.06327) Full Text: DOI OpenURL