Ramsey's theorem and the pigeonhole principle in intuitionistic mathematics (1992)

by Wim Veldman, Marc Bezem
Venue:University of Utrecht, Dept of Philosophy