"Elementary Recursion Theory and its Applications to Formal Systems" - читать интересную книгу автора (Kripke, Saul )