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

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

Cote : [05 KLE 65]