Introduction to higher order categorical logicde Joachim LambekMateriasCategories (Mathematics)Logic, symbolic and mathematicalEdiciones (1)Introduction to higher order categorical logic (1986)Cambridge University Press · inglésMás obras de Joachim LambekCComputational algebraic approaches to natural languageComputational algebraic approaches to natural languageTTorsion theories, additive semantics, and rings of quotientsTorsion theories, additive semantics, and rings of quotientsLLectures on rings and modules
CComputational algebraic approaches to natural languageComputational algebraic approaches to natural language
TTorsion theories, additive semantics, and rings of quotientsTorsion theories, additive semantics, and rings of quotients
