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 - Outlines of a formalist philosophy of mathematics
Curry, Haskell Brooks (1900-1982)

Cote : [05 CUR 51]