Solvable cases of the decision problem.
Series: Studies in logic and the foundations of mathematics
Publisher: North-Holland
Published: 1954
Place of publication: Amsterdam
Language: eng