Introduction to mathematical logic - Mendelson, Elliott 1931- (van Nostrand, 1964)