Introduction to mathematical logic - Willmott, Agustin (New York: Larsen and Keller, 2019)
Includes index & bibliographic references