Introduction to Math: Logic

Mendelson, Elliott e Church, A.