TY  - BOOK
AU  - Ackermann,W.
TI  - Solvable cases of the decision problem
U1  - 51.3 23
PY  - 1954/// [ printing 1962]
CY  - Amsterdam
PB  - North-Holland Pub. Co.
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliography
ER  -