Libros de la editorial Oxford University Press
Libros de la editorial Oxford University Press
A first course in logic
an introduction to model theory, proof theory, computability, and complexity

