TY  - BOOK
AU  - Ackermann W
TI  - Solvable cases of the decision problem
U1  - B:R1, J4 
PY  - 1954///
KW  - Maths
ER  -