¿Olvidó su contraseña?
Ebbinghaus, H. D., Flum, J., & Thomas, W. N. (1989). Mathematical logic. Springer-Verlag.