Graph theory, lattices and boolean algebras, state models and abstract algebraic structures, logical systems, production systems, computability theory, recursive function theory.