Ramsey’s theorem and the pigeonhole principle in intuitionistic mathematics (1993)

by W Veldman, M A Bezem
Venue:Commons, 171 Second St, Suite 300