4 works on record
Logic Colloquium 2000
Mathematical Logic Pt. 2
Mathematical logic
Mathematical Logic - A Course with Exercises Pt. 1