Yo era un gran fanático de “Introducción a la lógica categórica de orden superior” por Lambek y Scott, y también disfruté de “Fundamentos prácticos de las matemáticas” de Paul Taylor.
Por supuesto, hay muchos libros, sobre muchos aspectos del tema, y quizás no tenga sentido tratar de elegir uno solo como el mejor para todos los propósitos o para todos los lectores; Resulta que estos libros resuenan particularmente conmigo debido a mis antecedentes, intereses y objetivos particulares, en formas que podrían no serlo para otros lectores. (Por ejemplo, aunque todavía lo disfrutaba, me gustaban menos las “Poleas en Geometría y Lógica” de Mac Lane y Moerdijk, otro texto estándar en el área, pero tenía poca experiencia con la geometría algebraica y una amplia experiencia con el cálculo lambda y la teoría de tipos, por lo que es natural que prefiero el libro de Lambek y Scott en ese momento, que en cierto sentido aborda todo el tema a través de este último. Para otros, sus gustos serán diferentes.