Introduction to mathematical logic - Mendelson, Elliott 1931- (CRC Press, 2010)