Lectures on the Curry-Howard Isomorphism (Studies in Logic and the Foundations of Mathematics)
Click For Info
Looking for Information A Survey of Research on Information Seeking, Needs, and Behavior
Click For Info