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.; Lw̲e, Benedikt. (Springer Berlin Heidelberg, 2009)