Event Detail

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