Monotone Proofs of the Pigeon Hole Principle

Albert Atserias, Nicola Galesi, Ricard Gavaldà. Monotone Proofs of the Pigeon Hole Principle. Math. Log. Q., 47(4):461-474, 2001. [doi]

Abstract

Abstract is missing.