Introduction to Mathematical Logic by Elliott Mendelson