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

Cote : [05 TRO 77]

2 - Extensional Gödel functional interpretation : a consistency proof of classical analysis
Luckhardt, Horst

Cote : [05 LUC 73]

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

Cote : [05 HEY 56]

4 - Metamathematical investigation of intuitionistic arithmetic and analysis
Troelstra, Anne Sjerp (Ed.)

Cote : [05 TRO 73]

5 - Principles of intuitionism : lectures presented at the Summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N. Y.
Troelstra, Anne Sjerp

Cote : [05 TRO 69]

6 - Proof theory and intuitionistic systems
Scarpellini, Bruno

Cote : [05 SCA 71]

7 - The foundations of intuitionistic mathematics : especially in relation to recursive functions
Kleene, Stephen Cole (1909-1994)   /   Vesley, Richard Eugene (1932-....)

Cote : [05 KLE 65]