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: