Introduction to Mathematical Logic door Elliott Mendelson