Solvable cases of the decision problem /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Ackermann, W. (Wilhelm), 1896- (συγγραφέας.)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Amsterdam : North-Holland, 1954 [3rd printing 1968].
Σειρά:Studies in logic and the foundations of mathematics
Θέματα:
Περιγραφή
Περιγραφή τεκμηρίου:
Φυσική περιγραφή:vii, 114 σ. ; 23 εκ.
Βιβλιογραφία:Περιλαμβάνει βιβλιογραφία.