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

by Wim Veldman , Marc Bezem
Venue:University of Utrecht, Dept of Philosophy
Citations:19 - 2 self