Techniques of admissible recursion theory | lit.salon