Logic

  • BEAN, Dwight R., Effective Coloration
    1973, Alfred B. Manaster (Chair)
  • BLOCH, Stephen Austin, Divide and Conquer in Parallel Complexity and Proof Theory
    1992, Samuel Buss (Chair)
  • KIERSTEAD, Henry Andrew, On the Countable Models of wsub1-Categorical Theories in Admissible Languages
    1979, Alfred B. Manaster (Chair)
  • POLLETT, Christopher John, Arithmetic Theories with Prenex Normal Form Induction
    1997, Samuel Buss (Chair)
  • ROBINSON, David Hill, Parallel Algorithms for Group Word Problems
    1993, Samuel Buss (Chair)

    UCSD > Mathematics > Thesis Archive