Mendelson, Elliott Introduction to mathematical logic Mendelson, Elliott - 5th ed. - CRC Press 2010 Dewey Class. No.: 511.3 / T10 MEN