We illustrate the logical concepts, when helpful, by displaying them concretely in the general framework of functional programming languages. However, this course presupposes no background in ...