Lectures on Mathematical Logic, Volume II