W. (Wilhelm) 1896- Ackermann

• Solvable Cases of the Decision Problem