hozir.org//hozir.org/primitive-rec-ackermans-function-decidable.html?page=2