On the weak pigeonhole principle (0)

by J Kraj́ıček
Venue:Fundamenta Mathematicae