introduccion a la metamatematica. - Stephen C. kleene (1974)