Foundation of Math, by Stephen G Simpson

source of the following is http://www.personal.psu.edu/t20/

foundations_of_math___stephen_g_simpson_2009_45700.pdf