The Mathematics of Logic: A Guide to Completeness Theorems and Their Applications by Richard W. Kaye (Paperback, 2007)