Infinity in Logic and Computation

ILC 2007: Cape Town, South Africa