The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)