Mathematical logic : a course with exercises. - Cori, René (Oxford University Press, 2001)