Introduction to metamathematics - Kleene, Stephen Cole 1909-1994 (Literary Licensing, LLC, 2012)