Introduction to metamathematics - Kleene, Stephen Cole 1909-1994 (Wolters-Noordhoff [u.a.], 2000)