Mathematical Logic, by Stephen G Simpson
This book on math logic, is for those with graduate level math maturity. Technically, no prerequisite except you understand why math foundation is needed and familiar with technical math language.
source of the following is http://www.personal.psu.edu/t20/