TY  - BOOK
AU  - Ackermann, W.
TI  - Solvable cases of the decision problem
T2  - Studies in logic and the foundations of Mathematics ed by
PY  - 1968///
CY  - North-Holland
ER  -