(1936): 345-63. ———. “Systems of Logic Based on Ordinals.” Proceedings of the London Mathematical Society 2, no. 1 (1939): 161-228. Wiles, Andrew. “Modular Elliptic Curves and Fermat’s Last Theorem.” Annals of Mathematics-Second Series 141, no. 3 (1995): 443-552. Chapter 12 Burgin, Mark. Super-Recursive Algorithms. Sp