Apresentação
A Biblioteca do CLE foi criada em 1978, com o objetivo de oferecer informações técnico-científicas e suporte aos programas de pesquisa, ensino e extensão desenvolvidos ou apoiados pelo CLE e possibilitar o acesso às informações armazenadas e geradas na unidade, bem como na UNICAMP, à comunidade científica, promovendo intercâmbio de informações, experiências e documentos.
A Biblioteca faz parte do Sistema de Bibliotecas da UNICAMP, que é constituído por 24 bibliotecas de institutos, faculdades e centros multidisciplinares de pesquisa que compõem a Universidade. Em 24 de setembro de 1998, a Biblioteca passou a se chamar Biblioteca Michel Debrun, em homenagem a esse renomado professor que durante sua vida acadêmica na Universidade dedicou-se ao CLE, desenvolvendo inúmeras e importantes pesquisas nesta unidade.

Biblioteca Michel Debrun

Terminal de Consultas - Biblioteca Michel Debrun
Acervo
O acervo da Biblioteca do CLE é composto por diversos materiais bibliográficos nas áreas de lógica, lógica simbólica e matemática, epistemologia e história da ciência, sofrendo constantes atualizações.
Atualmente o acervo é constituído por:
- Livros: 18770 volumes
- Microfichas: 35.333
- Periódicos: 574 títulos
- Teses: 324
Também fazem parte do acervo as coleções que pertenciam a eminentes professores da Unicamp, tais como Prof. Michel Debrun, Prof. Michael Wrigley, Prof. Mário Sette, Prof. Newton da Costa. Além disso, a biblioteca possui em seu acervo "obras em cd-rom" de vários filósofos:
- ARISTÓTELES. The complete works.
- BRITISH Philosophy: 1600-1900 (Hobbes, Locke, Berkeley, Hume etc.)
- THE CONTINENTAL Rationalists (Descartes, Leibniz, Spinoza etc.)
- HUME, David. The complete works.
- KANT, Imannuel. Kants. Gesammelte Schriften.
- KIERKEGAARD, Soren. Samlede Vaerker.
- LOCKE, John. The philosophical works.
- PEIRCE, Charles S. The collected papers.
- PLATÃO. The collected dialogues.
- TOMÁS DE AQUINO. The collected works.
- WITTGENSTEIN, Ludwig. The published works.