Books by Joachim Lambek
From Rules of Grammar to Laws
From Rules of Grammar to Laws of Nature
Computational algebraic approa
Computational algebraic approaches to natural language
Introduction to higher order categorical logic
Torsion theories, additive semantics, and rings of quotients
Torsion Theories, Additive Semantics, and Rings of Quotients (Lecture Notes in Mathematics)
Completions of categories
Lectures on rings and modules