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 Michaelmas 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.