Most of the useful information can be found at the appropriate maths or comp pages in Oxford. It may be that they are restricted to Oxford only though.
I've been trying to put together some of the lecture notes in latex. At the moment I haven't got many done (and probably won't). I hope the following are useful though.
| For those who just want the finished article | Computability Lecture Notes dvi |
| Alternatively | Computability Lecture Notes ps |
| For those who want to compile it themselves | Computability latex file and flowchart picture |
| These are not totally finished by Ok notes | I1 Formal Program Design 1 dvi |
| For those who want to compile it themselves | I1 latex file |