Introduction to metamathematics - Kleene Stephen Cole (1952)
Keywords: Mathematical logic; Mathematics