1 - Axiomatic projective geometry
Heyting, Arend (1898-1980)

Cote : [60 HEY 63]

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

Cote : [01 BRO 75-1]

3 - Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957
Heyting, Arend (1898-1980) (Ed.)

Cote : [05 HEY 57]

4 - Intuitionism : an introduction
Heyting, Arend (1898-1980)

Cote : [05 HEY 56]

5 - Mathematische Grundlagenforschung Intuitionismus - Beweistheorie
Heyting, Arend (1898-1980)

Cote : [02 HEY 1934]