I am currently leading a small team of Researchers thinking about the future Paris 7 - Denis Diderot site of our Research Library in Computer Science. The library will be located in the very same building as the Research Library in Mathematics.

Currently, one of our main task is to select the books which will be purchased for the future site. You will find below
The Research Library in Mathematics is already rich in Mathematical Logic. This explains why many important books and references do not appear in the two previous lists of books. However, if you discover that one of your favourite books does not appear in these lists, nor in the list of books available in the Research Library in Mathematics, please contact me immediately.

I am also in charge of the PPS team library which contains about 300 titles. You will find below
Again, contact me if you think that an important book is missing in the list.