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