Indiana University, Bloomington. Logic Group