Fields Institute Summer School
Logic and Foundations of Computation
University of Ottawa, June 2-20, 2003