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