Nerode, Anil
Cornell University - Computability theory, logic in computer science, history of logic.

No queries for www.math.cornell.edu/~anil