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