Open markroxor opened 6 years ago
http://www.doc.ic.ac.uk/~mrc/Computability%20&%20Complexity/Lectures/C240Lecture2.pdf
http://www.doc.ic.ac.uk/~mrc/Computability%20&%20Complexity/Lectures/C240Lecture2.pdf