Metamathematics (R. Vaught)
Theory of Algebraic Structures (J. Rhodes)
Automata, Language and Machines (J. Rhodes)
Ring Theory (T. Lam)
Algebraic Number Theory (K. Ribet)
Algebraic Topology (M. Hirsch)
Homological Algebra (J. Rhodes)
Differential Topology (M. Hirsch)
Nonlinear Functional Analysis (S. Smale)