Introduction to mathematical logic - Mendelson, Elliott, 1931- (University series in undergraduate mathematics, 1964)