Lecturer: Herbert Enderton, Ph.D., Harvard University. Dr. Enderton is Logic Colloquim Chairman for the UCLA Logic Center.