ELEMENTARY RECURSION THEORY AND ITS APPLICATIONS TO FORMAL SYSTEMS

Saul Kripke