Formal reductions of the general combinatorial decision problem. (English) Zbl 0063.06327

Post, Emil L.

Am. J. Math. 65, 197-215 (1943).

Reviewed by Alonzo Church, J. Symb. Logic 8, No. 1, 50–52 (1943; doi:10.2307/2268006).

MSC:

03-XX

Mathematical logic and foundations

Keywords:

assertion logic; canonical forms; logical givens; unsolvability; null set; solvability