Cambridge Summer School in Mathematical Logic - Mathias, A. R. D. ; Rogers, H.