Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics