TY  - BOOK
AU  - Ackermann W
TI  - Solvable cases of the decision problem
U1  - 511.3 
PY  - 1954///
CY  - Amsterdam
PB  - North-Holland
KW  - Decision problem
KW  - Mathematical logic
ER  -