We give a self-contained and streamlined version of the classification of the provably computable functions of PA. The emphasis is put on illuminating as well as seems possible the intrinsic ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback