Email Record: Handbook of logic and proof techniques for computer science /