Theory of Computation (Fall 2013): Access Functions for Gödel Numbers Lengths of Natural Numbers Formal Foundations of Program Compilation & Interpretation/Execution: Gödel Coder
Theor of Computation (Fall 2014): Godel Numbers
More on Gödel
E. Nagel, J. Newman - Godel's Proof