Lectures on Mathematical Logic, Volume II - Walter Felscher (Taylor and Francis, 2000)