%0 Journal Article %A Engeler, E. %D 1984 %I Association for Symbolic Logic %J Journal of Symbolic Logic %N 1 %P 301-303 %T The Lambda Calculus. Its Syntax and Semantics %V 49