2 books
A Course in Mathematical Logic for Mathematicians
Introduction to Modern Number Theory: Fundamental Problems, Ideas and Theories