Logic


Stillwell Professor, Director of Graduate Studies