Title: Solvable cases of the decision problem
First published: 1954
Subjects: Decision making, Logic, Symbolic and mathematical, Symbolic and mathematical Logic
LC classification: BC135 A4