Ackermann W

Ackermann W is the author of books such as Solvable Cases Of the Decision Problem.