Ackermann function

Total non-primitive-recursive computable function of three arguments