1 - Collected works. 1 : Philosophy and foundations of mathematics
Brouwer, Luitzen Egbertus Jan (1881-1966)   /   Heyting, Arend (1898-1980) (Ed.)

Cote : [01 BRO 75-1]

2 - Introduction à la théorie des ensembles
Halmos, Paul Richard (1916-2006)   /   Gardelle, Jean (Trad.)

Cote : [08 HAL 67]