As requested by Sandy Lemberg, a scanned image of the appendix to Mendelson's first edition of Intro to Math Logic can be obtained at: http://www.cs.fsu.edu/~schwartz/mendelson.pdf I had tried posting the pdf to the FOM list, but the file it too large. Dan Schwartz