1 - Choice sequences : a chapter of intuitionistic mathematics
Troelstra, Anne Sjerp

Cote : [05 TRO 77]

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

Cote : [05 HEY 56]

3 - Intuitionism and proof theory : proceedings of the Summer conference at Buffalo N. Y. 1968
Kino, Akiko (Ed.)   /   Myhill, John (1923-1987) (Ed.)   /   Vesley, Richard Eugène (1932-....) (Ed.)

Cote : [05 KIN 68]

4 - Intuitionistic logic model theory and forcing
Fitting, Melvin Chris (1942-....)

Cote : [05 FIT 69]

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

Cote : [02 HEY 1934]

6 - Proof theory and intuitionistic systems
Scarpellini, Bruno

Cote : [05 SCA 71]