Event Detail

Wed Apr 13, 2011–Thu Apr 14, 2011
60 Evans Hall, 11:10 PM–1 AM
Alfred Tarski Lectures
Johan van Benthem (University of Amsterdam and Stanford University)
Logic and Computation: Fine-structure and Invariance