Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics - Claudia Casadio (Springer International Publishing, 2021)