The questions that follow are designed to make prospective students aware of the mathematics background required for those intending to take one of the SFU Calculus courses: MATH 150, 151, 154 or 157.

I think this second edition of this classical book is a beautiful asset for the literature on λ-calculus and CL.' Theory and Practice of Logic Programming '… well written and offers a broad coverage ...