Handbook of logic and proof techniques for computer science - Krantz, Steven G. (Birkhauser ; Springer, 2002)