Introducción a la metamatemática - Kleene Stephen Cole (Estructura y Función, 1974)