Introduction to mathematical logic by Mendelson, Elliott fromDiscrete mathematics and its applications 0 Type: Book
