Text this: Joachim Lambek y la Filosofía de la matemática