4 works on record
Logic Colloquium '96
Logic Colloquium '87
Logic Colloquium '80
Mathematical Logic - A Course with Exercises Pt. 1