Mathematical Logic (Addison-Wesley Series in Logic)
A Friendly Introduction to Mathematical Logic
The Foundations of Mathematics (Studies in Logic: Mathematical Logic and Foundations)
Computability and Logic Fifth Edition
Elements of Set Theory
Introduction to Metamathematics
Complex Analysis
Axiomatic Set Theory (Dover Books on Mathematics)
Mathematical Logic (Dover Books on Mathematics)