Theor of Computation (Fall 2014): Godel Numbers
Theory of Computation (Fall 2014): Bezout's Identity, Euclid's 1st Theorem, Unique Factorization Theorem, Pairing Functions