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 - Exposé sur les fondements d'une géométrie constructive de l'espace Euclidien à n dimensionsMalengreau, JulienCote : [60 MAL 62]
3 - Introduction à la théorie des ensemblesHalmos, Paul Richard (1916-2006) / Gardelle, Jean (Trad.)Cote : [08 HAL 67]