Techniques of admissible recussion theory - Chong C T (Berlin Springer-Verlag, 1984)
Appendix 196-205p.
Keywords: Mathematical logic