springer出版的S.M.Srivastava的数理逻辑中级教程，比较简明扼要。适合初中级的读者阅读。