Solvable cases of the decision problem /

• Κύριος συγγραφέας: Ackermann, W. (Wilhelm), 1896- (συγγραφέας.)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Amsterdam : North-Holland, 1954 [2nd printing 1962].
• Σειρά: Studies in logic and the foundations of mathematics
• Θέματα: Λογική, Συμβολική και μαθηματική