Handbook Of Logic And Proof Techniques For Computer Science by Steven G. Krantz