Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers - Archibald, Margaret; Brattka, Vasco; Goranko, Valentin; Löwe, Benedikt (Springer Berlin Heidelberg, 2009)