Aspects of incompleteness - Lindstrom Per (Berlin Springer-Verlag, 1997)
Keywords: Incompleteness theorem; Recursion theory