Mathematical Logic: A Course with Exercises Part 2 by Ren'e Cori