The notes were typed up by me, John Fremlin

These notes are based on the first three chapters of the part II mathematics course ``Logic, Computation and Set Theory'' given by Dr Leader in Cambridge in Michælmas 2003. These notes are not connected to Dr Leader in any way. If there are any mistakes in them, it is more than very likely that they are my fault, not Dr Leader's.

Furthermore these notes are very definitely no substitute for actually going to Dr Leader's lectures (which are very good), because they do not include all of the material and especially examples covered, or any of the asides. Additionally, the material on computation and set theory is not included in these notes.

Finally, I would like to thank Dr Leader for taking such care to polish his crystal-clear lectures, and for being a very patient supervisor.

John Fremlin 2010-02-17