The Ackermann encoding and its siblings | Journal of Logic and Computation | DeepDyve