La biblioteca Eduardo García Máynez cuenta con una colección especializada en filosofía que se ha venido formando a lo largo de más de 50 años. Además de una hemeroteca con 356 títulos, tiene discos compactos, bases de datos bibliográficas, catálogos y publicaciones propias y obras de utilidad general como el Repertoire Bibliographique de la Philosophie, The Philosopher's Index, y la Bibliographie de la Philosophie. Su horario es de 8:30 a 20:30 horas de lunes a viernes en el Instituto de Investigaciones Filosóficas de la UNAM, Circuito Mario de la Cueva, Ciudad de la Investigación en Humanidades, Coyoacán, C.P. 04510, C. U., México, D. F., tel. (5)622-7428, fax (5)665-4991, e-mail gcamacho@servidor.unam.mx.
El carácter académico que distingue a la biblioteca se refleja en su acervo, integrado por obras fundamentales de la filosofía y colecciones especializadas en las siguientes líneas de investigación: historia de la filosofía, teoría del conocimiento, metafísica, filosofía de las ciencias (formales, naturales y sociales), filosofía de la historia, filosofía política, filosofía del lenguaje, ética, estética, filosofía de la educación, filosofía de la mente y, por supuesto, lógica.
Más abajo mencionaremos el número aproximado de libros en cada subdivisión de lógica. El número de libros es aproximado por varias razones. Continuamente se adquieren nuevos títulos, algunos están siendo recatalogados porque originalmente se les dio la clasificación de Dewey, y finalmente porque se contaron los volúmenes y no sólo los títulos. Una advertencia: la catalogación no es una ciencia exacta. Por ejemplo, un libro sobre intuicionismo puede estar escondido en BC39, uno sobre lógica deóntica en BC38, y otro sobre lógica relevante en BC71. Una rápida consulta al catálogo los sacará de sus escondrijos. (El catálogo puede consultarse en fichas o por computadora en la biblioteca, y desde cualquier computadora conectada a la Internet en la dirección 132.248.67.2 con el login "opac".)
La biblioteca usa la catalogación tradicional de la Biblioteca del Congreso de Washington, dónde las obras de lógica se agrupan en dos áreas: la BC (lógica relacionada con filosofía) y la QA (lógica relacionada con matemáticas). Seguiremos el libro Classification. 3rd edition, United States, Library of Congress, Subject Cataloging Division, Washington, D.C., 1979. Por ejemplo, hay unos 6 libros en la clasificación BC5 que es "Congresos", 19 en BC6 que es "Obras completas", etc.
# BC Tema
6 5 Congresos
19 6 Obras completas
1 9 Diccionarios
3 11 Obras generales antes de 1800
11 15 ...después de 1800
4 28-29 Helénicas
10 34-35 Medievales
15 38-39 Modernas
2 40-48 Metodología
43 50 Obras generales
17 51 Filosofía de la lógica
5 53 Psicología
1 55 Etica
9 59 Enseñanza
23 60 Obras antes de 1800 en latín
15 61 ...en inglés
7 62 ...en francés
2 63 ...en alemán
9 66 ...en otros lenguajes
82 71 Obras después de 1800 en inglés
6 72 ...en francés
24 73 ... en alemán
7 75 ...en español y portugués
3 76 ...en ruso y lenguas eslavas
3 78 ...en otras lenguas
1 80 Lógica inductiva antes de 1800
22 91 Lógica inductiva en inglés
2 92 ...en francés
3 93 ...en alemán
1 101 Textos antes de 1800 en inglés
5 105 ...en otras lenguas
35 108 Textos después de 1800 en inglés
9 114 ...en alemán
1 116 ...en ruso y lenguas eslavas
16 117 ...en otras lenguas
2 122 Lógica trascendental
1 126 Lógica polivalente
4 128 Lógica primer orden
1 131 Lógica antes de 1800
168 135 ...después de 1800
2 138 Máquinas lógicas
13 141 Probabilidad
10 145 Lógica deóntica
13 171 Certeza
3 172 Categorías
4 173 Prueba
4 175 Falacias
55 177 Argumentación
20 181 Juicio
7 183 Hipótesis
7 185 Silogismos
4 199.C5 Mandatos
7 199.C56 Condicionales
2 199.C66 Contrafácticos
5 199.D4 Definición
1 199.E9 Experiencia
5 199.I4 Identidad
3 199.I45 Id. personal
5 199.I5 Intención
1 199.I54 Relevancia
23 199.M6 Modalidad
1 199.N4 Negación
9 199.P2 Paradojas
4 199.P7 Posibilidad
2 199.P73 Presuposiciones
2 199.Q4 Preguntas
2 199.T4 Tiempo
1 199.T9 Teoría de tipos
1 199.V34 Vaguedad
1 199.V4 Verificación
1 199.V5 Circulo vicioso
# QA Tema
9 9.A1 Colecciones
143 9.A5 Obras generales
4 9.2 Lógica formal
4 9.4 Intensional
3 9.5 Combinatoria
4 9.54 Teoría de prueba
4 9.56 Constructivismo
1 9.59 Complejidad
2 9.65 Decidibilidad
4 9.7 Teoría de modelos
3 9.8 Metamatemáticas
4 10 Lógica algeb