TY  - BOOK
AU  - Ackermann, W.
TI  - Solvable cases of the decision problem
T2  - Studies in Logic and the Foundations of Mathematics
U1  - 511.3 
PY  - 1968///
CY  - Amsterdam
PB  - North-Holland
ER  -