Formal Reduction of the General Combinatorial Decision Problem (0)

by E L Post
Venue:Amer. J. Math.(1943