Solvable cases of the decision problem.

Bibliographic Details

Main Author:	Ackermann, W. (Wilhelm), 1896-
Format:	Book
Language:	English
Published:	Amsterdam : North-Holland Pub. Co., [1954]
Series:	Studies in logic and the foundations of mathematics.
Subjects:	Logic, Symbolic and mathematical.