Infinity in Logic and Computation
ILC 2007: Cape Town, South Africa
Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe (Eds.): Infinity in Logic and Computation, International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers. Springer 2009 Lecture Notes in Computer Science 5489 ISBN 978-3-642-03091-8 [ contents ]



