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