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

Cote : [05 TRO 77]

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

Cote : [05 HEY 57]

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

Cote : [05 LUC 73]

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

Cote : [05 HEY 56]

5 - 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]

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

Cote : [05 FIT 69]

7 - Mathematical thought : an introduction to the philosophy of mathematics
Beth, Evert Willem (1908-1964)   /   Glover, Horace S. (Trad.)

Cote : [05 BET 65]

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

Cote : [02 HEY 1934]

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

Cote : [05 TRO 73]

10 - 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]