Formal Reductions of the General Combinatorial Deicision Problem (0)

by Post
Venue:AMERICAN JOURNAL OF MATHEMATICS