"Infinity in Logic and Computation: International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers (Lecture ... Lecture Notes in Artificial Intelligence)" - читать интересную книгу автора (Margaret Archibald, Vasco Brattka, Valentin F. Goranko, Benedikt Lowe)