×

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

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

MSC:

03-XX Mathematical logic and foundations
PDF BibTeX XML Cite
Full Text: DOI