Open menu
Richard A. Shore
Above Center of Mass Command
Recursion theory
Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem