We prove completeness for some language-theoretic models of the full Lambek calculus and its various fragments. First we consider syntactic concepts and syntactic concepts over regular languages, ...

I have no experience with "survey of" or "for poets" type classes but with the full-strength STEM calculus series, those classes are the gateway classes not just to majors that might not need it but ...