(1) Combinatorics, Geometry and Probability: A Tribute to Paul Erdös Béla Bollobás; Andrew Thomason ISBN: 9780521607667 Cambridge University Press View at publisher
(2) Logic in Computer Science: Modelling and Reasoning about Systems Michael Huth; Mark Ryan ISBN: 9780521543101 Cambridge University Press View at publisher