Introduction to Math: Logic

Mendelson, Elliott and Church, A.