Solvable cases of the decision problem /

• Main Author: Ackermann, W. (Wilhelm), 1896- (συγγραφέας.)
• Format: Book
• Language: English
• Published: Amsterdam : North-Holland, 1954 [2nd printing 1962].
• Series: Studies in logic and the foundations of mathematics
• Subjects: Λογική, Συμβολική και μαθηματική